Xavier Morel 7d5c3dcb73 [IMP] mergebot: staging endpoints ... - use lingo `staged` and `merged` for clarity (instead of `heads` and `commits`) - convert from json-rpc to regular HTTP to make easier to call - add the staged and merged heads when returning staging data - return more complete objects (rather than a list of ids) when matching stagings based on commits / heads Fixes #1018		2025-01-14 15:05:03 +01:00
..
__init__.py	[IMP] mergebot: staging endpoints	2025-01-14 15:05:03 +01:00
dashboard.py	[MERGE] runbot_merge, forwardport: latest updates	2024-11-19 12:18:59 +01:00
reviewer_provisioning.py	[FIX] runbot_merge: make provisioning more resilient	2023-06-21 14:26:19 +02:00