diff options
| -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 |