[python-committers] Codecov and PR

Hi, I tried to merge a pull request on my phone, but I got the error: "Pull requests that have a failing status can’t be merged on a phone." The GitHub PEP announced that it will be possible to merge a change from the beach. Well, it's doable but only if you bring a laptop, not a phone :-) All

Re: [python-committers] Codecov and PR

Ah, I found a workaround: Firefox on Android has a "[x] See the computer version" option which allows the merge!? Victor Le 22 avr. 2017 12:29 AM, "Victor Stinner" a écrit : > Hi, > > I tried to merge a pull request on my phone, but I got the error: > > "Pull requests that have a failing status