[llvm-dev] [cfe-dev] Phabricator -> GitHub PRs?
Renato Golin via llvm-dev
llvm-dev at lists.llvm.org
Sun Sep 13 13:51:30 PDT 2020
On Sun, 13 Sep 2020 at 21:37, Hubert Tong <hubert.reinterpretcast at gmail.com>
wrote:
> As far as I know, I am using the web interface GitHub provides for
>> (squash+)merging approved PRs. As in, yes, the web page causes me the issue
>> I described. Maybe there's a command line tool that does a better job with
>> the GitHub APIs.
>>
>
Ug, ok, that's bad. I thought you meant a browser plugin.
Few things I can think to help are:
* If you have commit rights, squash locally and push to master directly
* Otherwise, ask for someone else to squash merge for you if your
connection won't improve soon
But if this is a transient thing, and it happens without notice, then I
still don't think the end result is such a horrible state.
I'd only treat it as a problem if a lot of people start having that often,
but if this is the case, then Github has bigger problems and we won't be
the only ones.
Did you open a ticket with Github about this?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200913/74f6ebb8/attachment.html>
More information about the llvm-dev
mailing list