diff options
| author | Erich Eckner <git@eckner.net> | 2020-01-13 10:04:40 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-01-13 10:04:40 +0100 |
| commit | fbf51f6703c5cdb1d722f3d4c2c661b7a57f9533 (patch) | |
| tree | 23eb870661a167ff23d2b36518a9d687cb4224b8 /bin/nit-picker | |
| parent | c1128c9b7605a9f59739faab9e0d1a6a3800db61 (diff) | |
| download | builder-fbf51f6703c5cdb1d722f3d4c2c661b7a57f9533.tar.xz | |
bin/nit-picker: throttle output some more
Diffstat (limited to 'bin/nit-picker')
| -rwxr-xr-x | bin/nit-picker | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/nit-picker b/bin/nit-picker index 287d48b..d66e82e 100755 --- a/bin/nit-picker +++ b/bin/nit-picker @@ -514,6 +514,9 @@ while pgrep -x ii >/dev/null \ "$(date -I -d@"${expiration}")" \ "${expiration_days}" \ | local_irc_say + if [ $# -eq 0 ]; then + sleep 60 + fi fi done done @@ -569,6 +572,9 @@ while pgrep -x ii >/dev/null \ s/^\S\+ /parts of \0are in different repositories: / ' \ | local_irc_say + if [ $# -eq 0 ]; then + sleep 60 + fi fi ;; *) |