News for hackers. Stuff that matters.
Re:Two GitHub bots not talking to each other on a PR by upon_drumhead on Thursday September 07, 2023 @09:31AM (#37418656)
What brittleness? It’s just two workflows that ran together.

There are no comments on this comment yet.