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 <[email protected]> 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
