Update release process

2023-02-11 19:30:56 -05:00
parent f271e60e58
commit 5184b4483f
1 changed files with 1 additions and 0 deletions
--- a/doc/release-process.md
+++ b/doc/release-process.md
@@ -28,6 +28,7 @@ git checkout master
 git merge --no-ff dev # using the default commit message is fine
 git push origin master
 git checkout dev
+git merge master
 git push origin dev
 ```