Xavier Morel 5a8f821de0 [FIX] forwardport: recover from failure to create forward port PR ... Currently if the creation of a forward-port pull request fails: * the branches are left un-cleaned * preceding PRs are left open * the PR whose creation failed may or may not have actually failed, and may or may not still be open We need to delete the forward port branches anyway, and IIRC that *should* automatically close the PR. Sadly making it so github predictably / reliably blows up when trying to create a PR via the API is difficult so this is essentially untestable. Closes #296		2020-01-29 15:43:57 +01:00
..
data	[ADD] forwardport: missing access rights	2020-01-13 08:39:47 +01:00
models	[FIX] forwardport: recover from failure to create forward port PR	2020-01-29 15:43:57 +01:00
tests	[ADD] forwardport: support for branch filtering	2020-01-24 13:39:14 +01:00
__init__.py	[ADD] forwardbot	2019-09-05 10:00:07 +02:00
__manifest__.py	[ADD] forwardbot	2019-09-05 10:00:07 +02:00