Regarding my other point: does Quickstep have a policy that pull requests should, or must, come from the Apache github account? If so, can you see how that would tend to discourage people from joining the community? Because only committers are able to push to Apache.
Several projects use "feature branches", where multiple developers need to collaborate over a long period, and of course a branch or tag per release, but other than that, branches in the Apache repo are quite unusual. Julian > On Nov 4, 2016, at 11:25 AM, Harshad Deshmukh <hars...@cs.wisc.edu> wrote: > > Thanks Julian, your suggestion worked! > > >> On 11/04/2016 11:29 AM, Julian Hyde wrote: >> If I recall, there is an issue with Apache-github integration that a branch >> only shows up when you make a commit on it. So maybe make a trivial commit. >> >> That said, you don’t need to push a branch to Apache in order to make a pull >> request. You can make a pull request from your own personal GitHub fork. >> That’s usually the right thing to do. >> >> Julian >> >>> On Nov 4, 2016, at 8:42 AM, Harshad Deshmukh <hars...@cs.wisc.edu> wrote: >>> >>> Hello, >>> >>> I pushed a branch (named auto-worker-pinning) to the apache repository 11 >>> hours ago. That branch is still not showing up on the GitHub mirror. Has >>> any one else experienced similar issue? Without the branch showing up on >>> GitHub, I can't create a pull request for it. >>> >>> -- >>> >>> Thanks, >>> Harshad >>> > > -- > Thanks, > Harshad >