emrg: scripts/push-branch-from-api.py — push local branch via Git Data API when git-over-https is down - #989

emrg: scripts/push-branch-from-api.py — push local branch via Git Data API when git-over-https is down#989

argszero merged 4 commits into

masterargszero/emrg:masterfrom

feature/push-branch-from-apiargszero/emrg:feature/push-branch-from-apiCopy head branch name to clipboard