normally the dgit-repos repo for the package will be accessible via
the remote name `origin'.
-dgit push will also (by default) make signed tags called
+dgit push will also make signed tags called
.BI debian/ version
-and push them to dgit-repos, but nothing depends on these tags
-existing.
+(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
current dgit/suite tip in dgit-repos.
build and dgit push.
dgit repositories could be cloned with standard (git) methods. The
-only exception is that for sourcefull builds / uploads the orig
+only exception is that for sourceful builds / uploads the orig
tarball(s) need to be present in the parent directory.
To a user looking at the archive, changes pushed using dgit look like