Update release.md

processing · Aug 28, 2024 · d7efbdb · d7efbdb
1 parent ba5a057
commit d7efbdb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/contributor_docs/release.md b/contributor_docs/release.md
@@ -49,4 +49,5 @@ Sometimes you might need to push a release for an isolated and small bug fix wit
 3. `git pull origin release`
 4. `git checkout -b <descriptive-branch-name>`
 5. `git cherry-pick <every sha in PR branch>`
-6. Make a new PR that merges into `release` (has a base branch `release`)
+6. Make a new PR that merges into `release` (has a base branch `release`)
+7. Done!