RFC: Push diffs in Git before telling GitHub about it#280

ezyang merged 1 commit intoezyang:masterezyang/ghstack:masterfrom

swolchok:push-then-tell-githubswolchok/ghstack:push-then-tell-githubCopy head branch name to clipboard