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: |
