diff options
author | Peter Wu <peter@lekensteyn.nl> | 2016-09-11 16:00:26 +0200 |
---|---|---|
committer | Peter Wu <peter@lekensteyn.nl> | 2016-09-11 16:00:26 +0200 |
commit | 96039c46d0e7e4abbf4d111ab21cb8610c2e9260 (patch) | |
tree | 61201fdad7235982d4193eaf9ce6eb2c826e592f /git-gerrit-diff | |
parent | 2e5b6ae90ff243f2e7015f015a773204fe94c006 (diff) | |
download | scripts-96039c46d0e7e4abbf4d111ab21cb8610c2e9260.tar.gz |
git-gerrit-diff: do not print already merged commits
Diffstat (limited to 'git-gerrit-diff')
-rwxr-xr-x | git-gerrit-diff | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/git-gerrit-diff b/git-gerrit-diff index 0276faf..c993ea8 100755 --- a/git-gerrit-diff +++ b/git-gerrit-diff @@ -203,9 +203,11 @@ def main(): print_change(change, True) # ...and upstream changes not in HEAD - for change_id, change in upstream_changes.items(): - if change_id not in head_changes: - print_change(change, False) + if False: + # XXX maybe add an option to show these changes too? + for change_id, change in upstream_changes.items(): + if change_id not in head_changes: + print_change(change, False) if less_pipe is not None: less_pipe.stdin.close() |