Function git_push

dev-tools/scripts/logchange.py:59–61

(branch, remote, *, cwd, dry_run=False)

def git_push(branch, remote, *, cwd, dry_run=False):
    git(["checkout", branch], cwd=cwd, dry_run=dry_run)
    git(["push", remote, branch], cwd=cwd, dry_run=dry_run)


def short_sha(git_root):