Updates dev docs

diff --git a/development.mdwn b/development.mdwn
index 26d8d7306b4917ce4085c7db02d365aa8a8dfb20..2349c8470cdd1775639690e8d319ef0ace21d91b 100644 (file)
--- a/development.mdwn
+++ b/development.mdwn
@@ -49,9 +49,10 @@ Run lintian (or [add it to your pbuilder hooks](http://askubuntu.com/questions/1
 
     lintian --info --display-info --pedantic --color auto build-area/keyringer_$VERSION*.changes
 
-Then go back to the develop branch:
+Then go back to the develop branch and push everything:
 
     git checkout develop
+    git push --all
 
 Cleanup symlink: