Xavier Morel 3bc5b4e3e4 [CHG] runbot_merge: log ping instead of printing it ... That's an old and completely useless leftover, but I never got around to swapping it. It could be removed entirely or moved to debug as well...		2024-06-25 15:54:31 +02:00
..
__init__.py	[CHG] runbot_merge: log ping instead of printing it	2024-06-25 15:54:31 +02:00
dashboard.py	[IMP] runbot_merge: formatting & langage of PR attributes	2024-06-12 15:51:17 +02:00
reviewer_provisioning.py	[FIX] runbot_merge: make provisioning more resilient	2023-06-21 14:26:19 +02:00