runbot/runbot_merge/controllers
Xavier Morel 327500bc83 [FIX] runbot_merge: don't notify on closing unknown PRs
If an untracked PR is closed, especially on an inactive or untracked
branch, the closer (or author) almost certainly don't care to receive
3 different notifications on the subject.

The fix requires a schema change in order to track that we're fetching
the PR due to a `closed` event, as in other cases we may still want to
notify the user that we received the request (and it just happened to
resolve to a closed PR).

Fixes #857
2024-03-12 12:17:30 +01:00
..
__init__.py [FIX] runbot_merge: don't notify on closing unknown PRs 2024-03-12 12:17:30 +01:00
dashboard.py [IMP] runbot_merge: filtering options and UX on stagings list 2023-07-10 15:23:31 +02:00
reviewer_provisioning.py [FIX] runbot_merge: make provisioning more resilient 2023-06-21 14:26:19 +02:00