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 <lobi...@gmail.com
> <javascript:>> 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.
>>>
>>
>
