X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=blobdiff_plain;f=git-debpush;h=316d6c1aa80f43cbe59712183c6d119eea22178a;hb=d5bbd5fe5b15f40c1153ab2bc3f469e3a49b1daa;hp=74cb4aa1ecd665dd0dc8961aa390a83aa7d8d509;hpb=9b3f761e28e938922d29e7883d6e999de526f4b0;p=dgit.git

diff --git a/git-debpush b/git-debpush
index 74cb4aa1..316d6c1a 100755
--- 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