Fix: development: minor updates

diff --git a/development.md b/development.md
index 00c1c66a3103ab9229e70a9255ff9fb2f3d98466..da74b5a29132c9ed9bd3afe7d39ce01be4935ae6 100644 (file)
--- a/development.md
+++ b/development.md
@@ -41,6 +41,11 @@ Push everything:
 
     git push --tags
 
+If there are repository mirrors, ensure to push changes there as well. Example:
+
+    git push all
+    git push all --tags
+
 Build the package from the debian Git branch:
 
     gbp buildpackage --git-ignore-new
@@ -60,7 +65,10 @@ Cleanup symlink:
 
 Notes:
 
-* `gbp import-orig` takes care of running `pristine-tar commit`, of merging of the tag and orig tarball into the upstream branch, and then it merges the result into the debian branch. With the above configuration, it also runs git-dch to do the bulk of the work in `debian/changelog`.
+* `gbp import-orig` takes care of running `pristine-tar commit`, of merging of
+  the tag and orig tarball into the upstream branch, and then it merges the
+  result into the debian branch. With the above configuration, it also runs
+  git-dch to do the bulk of the work in `debian/changelog`.
 * To build a development package, checkout the debian branch, merge master, run `git-dch --auto --snapshot` and build.
 
 Packaging workflow