We already have code to fast-forward a release branch that is not up to date.
By mistake, I deleted the release branch, however: the repository settings are such that merging a PR deletes its "head" branch, and I had merged the release branch into the main branch. Deleting the branch broke the logic to fast-forward release.
Let's handle missing release branches the same as out-of-date branches, and try to push the current main to the release branch.
We already have code to fast-forward a
releasebranch that is not up to date.By mistake, I deleted the
releasebranch, however: the repository settings are such that merging a PR deletes its "head" branch, and I had merged thereleasebranch into themainbranch. Deleting the branch broke the logic to fast-forwardrelease.Let's handle missing
releasebranches the same as out-of-date branches, and try to push the currentmainto thereleasebranch.