diff options
| -rwxr-xr-x | project.py | 11 |
1 files changed, 10 insertions, 1 deletions
| @@ -1586,7 +1586,16 @@ class Project(object): | |||
| 1586 | return | 1586 | return |
| 1587 | 1587 | ||
| 1588 | upstream_gain = self._revlist(not_rev(HEAD), revid) | 1588 | upstream_gain = self._revlist(not_rev(HEAD), revid) |
| 1589 | pub = self.WasPublished(branch.name, all_refs) | 1589 | |
| 1590 | # See if we can perform a fast forward merge. This can happen if our | ||
| 1591 | # branch isn't in the exact same state as we last published. | ||
| 1592 | try: | ||
| 1593 | self.work_git.merge_base('--is-ancestor', HEAD, revid) | ||
| 1594 | # Skip the published logic. | ||
| 1595 | pub = False | ||
| 1596 | except GitError: | ||
| 1597 | pub = self.WasPublished(branch.name, all_refs) | ||
| 1598 | |||
| 1590 | if pub: | 1599 | if pub: |
| 1591 | not_merged = self._revlist(not_rev(revid), pub) | 1600 | not_merged = self._revlist(not_rev(revid), pub) |
| 1592 | if not_merged: | 1601 | if not_merged: |
