<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Sep 13, 2020 at 4:51 PM Renato Golin <<a href="mailto:rengolin@gmail.com">rengolin@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr">On Sun, 13 Sep 2020 at 21:37, Hubert Tong <<a href="mailto:hubert.reinterpretcast@gmail.com" target="_blank">hubert.reinterpretcast@gmail.com</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_quote">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.<br></div></div></blockquote></div></div></blockquote><div><br></div><div>Ug, ok, that's bad. I thought you meant a browser plugin.</div><div><br></div><div>Few things I can think to help are:</div><div> * If you have commit rights, squash locally and push to master directly</div><div> * Otherwise, ask for someone else to squash merge for you if your connection won't improve soon</div><div><br></div><div>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.</div><div><br></div><div>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.</div><div><br></div><div>Did you open a ticket with Github about this?</div></div></div></blockquote><div>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.<br></div></div></div>