index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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) |
-rwxr-xr-x | bin/nit-picker | 6 |
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 ;; *) |