A branch is considered already pushed if its HEAD commit hash matches the commit hash of one of the remote tracking branches: `refs/remotes/<remote>/<branch>` This mechanism allows the user to: - Choose a remote as push target for their branch different than the one that would automatically get chosen for them by `pr create`; - Avoid a `git push` operation (and its associated git hooks) if a push was not necessary in the first place. |
||
|---|---|---|
| .. | ||
| git.go | ||
| git_test.go | ||
| remote.go | ||
| remote_test.go | ||
| ssh_config.go | ||
| ssh_config_test.go | ||
| url.go | ||