hacking: Fix git push command for pushing stable branch.

This fixes commit 5218f54a54.
This commit is contained in:
Richard W.M. Jones
2016-01-06 11:35:34 +00:00
parent 88ba55c553
commit f674520651

View File

@@ -741,7 +741,7 @@ ie. 1.XX.0, and commit it:
Create the stable branch in git:
git branch stable-1.XX
git push origin tag stable-1.XX
git push origin stable-1.XX
=item *