Xavier Morel b1b959d472 [FIX] runbot_merge: properly handle retarget from deactivated branch ... A deactivated branch is generally treated as unmanaged which is mostly correct except for the case of retargeting an existing PR. When a branch is deactivated the corresponding PRs are not removed, so it's possible to have live PRs associated with ~unmanamaged branches. When retargeting those PRs to active branches, the mergebot would assume there was no existing PR and would create a duplicate, then either get completely lost (before a84595ea04) or blow up (after the same). Properly search amongst deactivated branches for retargeting sources so we update the relevant PR instead of trying to create duplicates. Fixes #169		2019-08-27 11:27:02 +02:00
..
__init__.py	[FIX] runbot_merge: properly handle retarget from deactivated branch	2019-08-27 11:27:02 +02:00
dashboard.py	[ADD] runbot_merge: staging history per branch	2019-08-21 14:15:10 +02:00