runbot/runbot_merge/controllers
Xavier Morel fbfb96be53 [IMP] runbot_merge: ping commenter when fetching PR due to comment
If a comment causes an unknown PR to be fetched, it's a bit odd to
ping the author (and possibly reviewer) anyway as they're not super
concerned (and technically we could be ignoring the purported /
attempted reviewer).

So if a fetch job was created because of a comment, remember the
comment author and ping *them* instead of using the default ping
policy.

Fixes #981
2024-11-18 13:52:27 +01:00
..
__init__.py [IMP] runbot_merge: ping commenter when fetching PR due to comment 2024-11-18 13:52:27 +01:00
dashboard.py [FIX] runbot_merge: don't show details of merged PR on GH 2024-08-05 15:18:19 +02:00
reviewer_provisioning.py [FIX] runbot_merge: make provisioning more resilient 2023-06-21 14:26:19 +02:00