Ed Hennis cf96bd6058 Update branch management and merge / release processes (#5215) ...

* Has more steps, but allows merges to develop to continue when a
  beta / RC is pending, increasing developer velocity.
* Add a CI job to check that no reverse merges have been missed.
* Add some useful scripts in bin/git:
  * Set up upstreams as expected for safer pushes
  * Squash a bunch of branches
  * Set the version number

2025-02-24 20:52:40 +00:00

..

setup-upstreams.sh

Update branch management and merge / release processes (#5215)

2025-02-24 20:52:40 +00:00

squash-branches.sh

Update branch management and merge / release processes (#5215)

2025-02-24 20:52:40 +00:00

update-version.sh

Update branch management and merge / release processes (#5215)

2025-02-24 20:52:40 +00:00