We should also think how to automate this for future releases. Maybe this should be replaced with a simple script that checks for the correct conditions of being in a release branch pull request and does a checkout on the branch. What pull request metadata is available here? Is it possible to write something like `if branchname matches x.y.z and we are in a pull request from sympy/x.y.z to sympy/master`?