"PR merges that removed commits from the target branches." -> yikes, glad it's over with github soon
Best regards,
Peter Taraba
https://randommathguy.blogspot.com/
Ph.D. from Slovak University of Technology in Bratislava, Slovakia
Microsoft Research, J.W.Goethe University and ST Microelectronics Alumnus
Sent: Monday, May 11, 2026 at 9:27 AM From: "Vinnie Falco via Boost" <boost@lists.boost.org> To: "Boost developers' mailing list" <boost@lists.boost.org> Cc: "Vinnie Falco" <vinnie.falco@gmail.com> Subject: [boost] Re: GitHub reliability
On Mon, May 11, 2026 at 12:18 PM Andrey Semashev via Boost <
boost@lists.boost.org> wrote:
> The scary part is that some of the recent issues on GitHub were not the
> downtime but data corruption that could go unnoticed. Specifically, I'm
> referring to the recent issue with PR merges that removed commits from
> the target branches.
“You had one job.” This is literally the worst kind of failure. Perhaps the
urgency is greater than I estimated.