chiark
/
gitweb
/
~ianmdlvl
/
dgit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
git-debpush: Change comment heading
[dgit.git]
/
git-debpush
diff --git
a/git-debpush
b/git-debpush
index 74cb4aa1ecd665dd0dc8961aa390a83aa7d8d509..316d6c1aa80f43cbe59712183c6d119eea22178a 100755
(executable)
--- a/
git-debpush
+++ b/
git-debpush
@@
-20,7
+20,7
@@
set -e$DGIT_TEST_DEBPUSH_DEBUG
set -o pipefail
-#
PRINCIPLES OF OPERATION
+#
DESIGN PRINCIPLES
#
# - do not invoke dgit, do anything involving any tarballs, no network
# access except `git push` right at the end