From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 6 Jul 2019 22:32:22 +0000 (+0100)
Subject: git-debpush: Change comment heading
X-Git-Tag: archive/debian/9.1~14
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=d5bbd5fe5b15f40c1153ab2bc3f469e3a49b1daa;p=dgit.git

git-debpush: Change comment heading

IMO "Principles of Operation" would be a comprehensive reference
detailing the model and functionality.  I think "Design Principles"
is the conventional name for semi-self-imposed choices/constraints.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Acked-by: Sean Whitton <spwhitton@spwhitton.name>
---

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