the remote name `origin'.
dgit push will also make signed tags called
-.BI debian/ version
-(a la DEP-14) and push them to dgit-repos. These are used at the
+.BI archive/debian/ version
+(with version encoded a la DEP-14)
+and push them to dgit-repos. These are used at the
server to authenticate pushes.
dgit push can operate on any commit which is a descendant of the