Release
Reverting
In case of post-deployment breakage, here is the procedure for making the revert PR:
# Find the commit hash below. If we think we can cleanly remove just one feature, use its merge commit.
# Otherwise we'll need to revert the entire release.
git switch -c revert-<git-hash-to-revert>
git revert -m 1 <git-hash-to-revert>
git push -u origin revert-<git-hash-to-revert>
Developer-facing changes
User-facing changes
Release
Reverting
In case of post-deployment breakage, here is the procedure for making the revert PR:
Developer-facing changes
User-facing changes