Re: GitHub reliability

"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" <[email protected]>

To: "Boost developers' mailing list" <[email protected]>

Cc: "Vinnie Falco" <[email protected]>

Subject: [boost] Re: GitHub reliability

On Mon, May 11, 2026 at 12:18 PM Andrey Semashev via Boost <

[email protected]> 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.

Thanks

_______________________________________________

Boost mailing list -- [email protected]

To unsubscribe send an email to [email protected]

https://lists.boost.org/mailman3/lists/boost.lists.boost.org/

Archived at: https://lists.boost.org/archives/list/[email protected]/message/FIMZFCJWCCOGK5G3VTWDU3NH45LPF7U7/

_______________________________________________
Boost mailing list -- [email protected]
To unsubscribe send an email to [email protected]
https://lists.boost.org/mailman3/lists/boost.lists.boost.org/
Archived at: https://lists.boost.org/archives/list/[email protected]/message/MZ5W5AFSQVMZIR6XTF53EV676PCCMQAB/