chiark
/
gitweb
/
~ianmdlvl
/
dgit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Convert to defvalopt: --existing-package
[dgit.git]
/
dgit.7
diff --git
a/dgit.7
b/dgit.7
index 539ebe994ea9f7d596aef10df81721cbd1c3cbbd..a9886563eae90110f0f560bb2f73ed17fed3adf7 100644
(file)
--- 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'.
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
.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.
dgit push can operate on any commit which is a descendant of the
current dgit/suite tip in dgit-repos.