diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-06 23:32:22 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-07 11:18:17 +0100 |
commit | d5bbd5fe5b15f40c1153ab2bc3f469e3a49b1daa (patch) | |
tree | bb72a20c896c3be38f9e6cc4d348c80674584c5c /git-debpush | |
parent | 9b3f761e28e938922d29e7883d6e999de526f4b0 (diff) |
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>
Diffstat (limited to 'git-debpush')
-rwxr-xr-x | git-debpush | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-debpush b/git-debpush index 74cb4aa..316d6c1 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 |