[FIX] runbot_merge: forcefully update dest after non-reset rebase

This commit is contained in:
Xavier Morel 2018-09-20 10:08:08 +02:00
parent 3d8add9c11
commit 2b1cd83b07

View File

@ -139,6 +139,8 @@ class GH(object):
if reset:
self.set_ref(dest, original_head)
else:
self.set_ref(dest, prev)
_logger.debug('%s, %s, %s, reset=%s, commits=%s) -> %s',
self._repo, pr, dest, reset, commits and len(commits),