path: root/dgit.7
diff options
Diffstat (limited to 'dgit.7')
1 files changed, 3 insertions, 3 deletions
diff --git a/dgit.7 b/dgit.7
index 539ebe9..a988656 100644
--- a/dgit.7
+++ b/dgit.7
@@ -31,10 +31,10 @@ However, it is perfectly fine to have other branches in dgit-repos;
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
+(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.