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.
On Mon, May 23, 2016 at 2:05 PM, Kristoffer Carlsson <[email protected]> wrote: > 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. > > On Monday, May 23, 2016 at 7:55:24 PM UTC+2, Cedric St-Jean wrote: >> >> 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. >> >> On Mon, May 23, 2016 at 1:21 PM, Andreas Lobinger <[email protected]> >> wrote: >>> >>> Example? (i had today some intermediate github problems with connectivity >>> and functions) >>> >>> On Monday, May 23, 2016 at 7:06:44 PM UTC+2, Cedric St-Jean wrote: >>>> >>>> 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. >> >> >
