5 Commits

Author	SHA1	Message	Date
Xavier Morel	35f33cee6d	[FIX] runbot_merge: a few warnings	2018-09-03 13:16:36 +02:00
Xavier Morel	4005eea72a	[FIX] runbot_merge: github API error ... Turns out PATCH /git/refs/:ref returns a 422 when the ref does not exist, rather than the 404 I'd expected. Also improve the error message by including the JSON body which tends to be more descriptive/helpful than the reason for Github's API. Maybe I should replace all raise_for_status() by printing the JSON body instead...	2018-09-03 13:16:36 +02:00
Xavier Morel	39a0d723af	[ADD] runbot_merge: tag PR to signify state changes	2018-09-03 13:16:36 +02:00
Xavier Morel	781b679648	[FIX] runbot_merge: de-f-string-ify	2018-09-03 13:16:36 +02:00
Xavier Morel	e52d08ecdf	[ADD] runbot_merge: a merge bot ... No actual dependency on runbot, should be usable completely independently.	2018-09-03 13:16:36 +02:00