[llvm-dev] [cfe-dev] Phabricator -> GitHub PRs?

Hubert Tong via llvm-dev llvm-dev at lists.llvm.org
Sun Sep 13 14:45:21 PDT 2020


On Sun, Sep 13, 2020 at 4:51 PM Renato Golin <rengolin at gmail.com> wrote:

> 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?
>
I haven't yet. This particular problem does not occur often enough for me
to spend the time to "go offline" to try to put together the reproduction
steps in a test repo. The more general "loading old state" problem might be
about as painful (in terms of messing with browser profiles) to reproduce.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200913/d99dec91/attachment.html>


More information about the llvm-dev mailing list