[mirrormanager] v1.4: fix move-devel-to-release (6a91ccd)