This helps in case you deleted a remote branch using the GitHub web UI,
so the local view is outdated.
Change-Id: I98be33ea5712c66589f42b64e3462b76b84fbcc5
E.g. local branch is OK to be 'co-4-2' while it tracks
origin/distro/collabora/co-4-2.
Previously this was only working when the local branch was not renamed.
Change-Id: I11c24d71e903d27d34ec498604190d6b436b593d
Use-case: create a commit, submit to CI, then forget about it (git reset
--hard origin/master). Then create a next commit, and submit that to CI
as well -- instead of silently updating the previous PR.
Now the silent update doesn't happen anymore:
- If the update is intentional, have to specify the same branch name
explicitly. (E.g. you're on master, then specify 'master'.)
- If the update is not intentional, choose a different name.
Change-Id: Iee9d9ef13286a6a5083c6f9a28682ba65b8504ff
Similar to gerrit's 'git review' which creates/updates a change without
clicking anywhere in a browser.
Also add a './g pull' to help those who are used to that.
Change-Id: I240ff55c7480d0a2cd6de3f2ea3cd84ca0556af4
