Enable setting the base for a PR using labels#5121

connorjward merged 3 commits into

releasefiredrakeproject/firedrake:releasefrom

connorjward/ci-base-reffiredrakeproject/firedrake:connorjward/ci-base-refCopy head branch name to clipboard