pull before push when finalizing eph git context - #91

pull before push when finalizing eph git context#91

grizz merged 3 commits into

main20c/ctl:mainfrom

git-eph-pull20c/ctl:git-eph-pullCopy head branch name to clipboard