* Document in manpage under `dgit push' that it is best to build with
dgit too. Closes:#763333.
+ * When receiving a push with dgit-repos-server, update the server's
+ refs/heads/master if we are pushing to what the distro regards as a
+ relevant branch, and the push would ff master. Closes:#728209.
+
* Fix inaccurate error message when archive's git hash is not an
ancestor of git repo's git hash.