Promote migrations (PR #13496)

(see commit messages, this PR should be ‘rebased and merged’)

GitHub

Should it run 'git fetch' or not? :slightly_smiling_face:

It should, thanks! Fixed