Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-06-22 14:35:55 +0200
committerErich Eckner <git@eckner.net>2018-06-22 14:35:55 +0200
commit6109a2d4ff181f3ac8821bdc1ca6a7fd13b68ec9 (patch)
tree4ebb333a3dfd6d29d55c03cf0445a43ab3f3e101
parentc47b7b71893edb7528b0e94da476e790b338a440 (diff)
bin/interpret-mail: document "delete:"
-rwxr-xr-xbin/interpret-mail3
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/interpret-mail b/bin/interpret-mail
index 9c9c7dc..6f9a9ce 100755
--- a/bin/interpret-mail
+++ b/bin/interpret-mail
@@ -25,6 +25,9 @@ if [ $# -ne 0 ]; then
>&2 echo ' - "copy-to-build-support: <arch> <pkgname>":'
>&2 echo ' Copy the given binary package into [build-support].'
>&2 echo ''
+ >&2 echo ' - "delete:"'
+ >&2 echo ' Delete all scheduled, safely deletable packages.'
+ >&2 echo ''
>&2 echo ' - "prioritize: <pkgbase-regex>":'
>&2 echo ' Increase the priority of matching build assignments.'
>&2 echo ''