Try pushes without synchronize.#27

devrev-jo wants to merge 1 commit intomaindevrev/global-gh-tools:mainfrom

jro/debug_pushdevrev/global-gh-tools:jro/debug_pushCopy head branch name to clipboard