AdamMagierFOSS wrote: Yeah when I went to click the merge button I got some weird GUI bug/glitch, something about "lost connection to the server, try again later". Later I refreshed the page and saw that the merge button was still there and clickable, so I clicked it and got "merge already in progress". Not entirely sure what happened but the timestamps on both commits more or less corresponds to the two times I clicked the merge button 🤷♂️
https://github.com/llvm/llvm-project/pull/225139 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
