Try without synchronize.#28

devrev-jo wants to merge 2 commits intomaindevrev/global-gh-tools:mainfrom

jro/debug_push2devrev/global-gh-tools:jro/debug_push2Copy head branch name to clipboard