github missing Create Pull Request button
720 views
Skip to first unread message
Cedric St-Jean
May 23, 2016, 1:06:44 PM5/23/16
to julia-users
I'm up to my 15th pull request or so, and almost every time I do Pkg.submit("PackageName"), the opened webpage is missing the green "Create Pull Request" button. I have to refresh to make it appear, then I can go through, but today it just refuses to cooperate. I have googled the land far and wide in search of a brother or sister with such an ailment, to no avail, and so I ask myself, is there is some mysterious magic in Pkg.submit that might bring about such a ghastly curse? I'm on OSX and it seems to be a problem with either Firefox or Safari.
Andreas Lobinger
May 23, 2016, 1:21:22 PM5/23/16
to julia-users
Example? (i had today some intermediate github problems with connectivity and functions)
Cedric St-Jean
May 23, 2016, 1:55:24 PM5/23/16
to julia...@googlegroups.com
Sorry, I don't know what kind of example I could bring except for a screenshot with a missing Create Pull Request button.
In any case, I hadn't realized that github was having issues, the green button reappeared for me and I could make the PR.
Kristoffer Carlsson
May 23, 2016, 2:05:02 PM5/23/16
to julia-users
Note that you don't need "the green button". You can just select your branch from your fork and press "New Pull Request" next to it.
Keno Fischer
May 23, 2016, 2:11:31 PM5/23/16
to julia...@googlegroups.com
I filed this bug with github some years ago (having to refresh to see
the button), but then it stopped happening for me. I suspect there's a
race condition somewhere.
the button), but then it stopped happening for me. I suspect there's a
race condition somewhere.
Reply all
Reply to author
Forward
0 new messages