diff options
-rw-r--r-- | project.py | 9 |
1 files changed, 3 insertions, 6 deletions
@@ -682,18 +682,15 @@ class Project(object): | |||
682 | branch.name, | 682 | branch.name, |
683 | len(upstream_gain)) | 683 | len(upstream_gain)) |
684 | return | 684 | return |
685 | elif upstream_gain: | 685 | elif pub == head: |
686 | # We can fast-forward safely. | 686 | # All published commits are merged, and thus we are a |
687 | # strict subset. We can fast-forward safely. | ||
687 | # | 688 | # |
688 | def _doff(): | 689 | def _doff(): |
689 | self._FastForward(rev) | 690 | self._FastForward(rev) |
690 | self._CopyFiles() | 691 | self._CopyFiles() |
691 | syncbuf.later1(self, _doff) | 692 | syncbuf.later1(self, _doff) |
692 | return | 693 | return |
693 | else: | ||
694 | # Trivially no changes in the upstream. | ||
695 | # | ||
696 | return | ||
697 | 694 | ||
698 | if merge == rev: | 695 | if merge == rev: |
699 | try: | 696 | try: |