* 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.
* For non-Debian distros, debiantag() uses distro name a la DEP-14.
* dgit: Be more careful about tag updates during fetch: only update
tags referring to uploads to distro we are trying to fetch from.
+ * dgit: Set up a merge driver for debian/changelog. Closes:#769291.
+ * dgit: Do not verify the tag with git tag -v as well as git verify-tag,
+ ie suppress some noise output.
--