Comment by samlambert

At GitHub we take a fairly manual approach to migrations, basically the migration is done in its own PR ahead of the PR that has the code.