diff options
| author | Martijn Kaijser <martijn@xbmc.org> | 2016-10-01 12:30:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-01 12:30:48 +0200 |
| commit | a3ff97987fdf28ac09661f4f01a4c504b6d93e72 (patch) | |
| tree | d5df0d4b0a55b4d0d14c1e8ca408028b68438c21 | |
| parent | 14107c76c622fd97ffccf37459771497db5410da (diff) | |
[mention-bot] delay commenting on PRs in casethey get merged directly
| -rw-r--r-- | .mention-bot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.mention-bot b/.mention-bot index 05fea5ca67..e5754e8796 100644 --- a/.mention-bot +++ b/.mention-bot @@ -12,7 +12,7 @@ "assignToReviewer": false, "skipTitle": "", "withLabel": "", - "delayed": false, - "delayedUntil": "3d", + "delayed": true, + "delayedUntil": "2h", "skipCollaboratorPR": false } |