diff --git a/doc/releasing-antlr.md b/doc/releasing-antlr.md
index bf0912a7c6..9b512b4f17 100644
--- a/doc/releasing-antlr.md
+++ b/doc/releasing-antlr.md
@@ -522,6 +522,18 @@ git push origin gh-pages
 ```
 -->
 
+## Get fresh dev branch
+
+```bash
+git checkout master
+git pull upstream master
+git checkout dev
+git pull upstream dev
+git merge master
+git push origin dev
+git push upstream dev
+```
+
 ## Update Intellij plug-in
 
 Rebuild antlr plugin with new antlr jar.