Closed florisvdh closed 1 year ago
@hansvancalster is
main
branch restricted to released versions, or do dev versionx.y.z.9000
also go in there? In the former case, above commit is to be integrated in the current merge commit onmain
(I can do so if I have the rights to force-push tomain
). In the latter case (dev number onmain
), I can just update the version number here and refactor this PR.
Yes, the main branch is restricted to released versions. Since the updates in this PR should belong to today's release, a force-push is the best option I guess. I will check if you have the rights to do so. (Alternative is postpone this update and merge it with a branch destined for the next release - I haven't made one yet)
@florisvdh you have admin rights
OK, it's been added in main
. Not sure whether the site will rebuild (although I think it should), maybe it only builds on a new release.
@hansvancalster is
main
branch restricted to released versions, or do dev versionx.y.z.9000
also go in there? In the former case, above commit is to be integrated in the current merge commit onmain
(I can do so if I have the rights to force-push tomain
). In the latter case (dev number onmain
), I can just update the version number here and refactor this PR.