News for hackers. Stuff that matters.

A comment on GitHub incident: ongoing issues with Actions, Issues and other Git operations.

Re:GitHub incident: ongoing issues with Actions, Issues and ... by JestUM on Tuesday May 09, 2023 @07:57AM (#35872983)
Was unable to merge PRs.

Earlier, I also got GitHub PR comment emails about 6 hours late.

Whatever it is, it’s been happening for more than 6 hours.

[ Parent | on HN ]
Re:GitHub incident: ongoing issues with Actions, Issues and ... by toastal on Tuesday May 09, 2023 @08:32AM (#35873396)
Could you apply the patch from the URL? Pull requests aren't really needed.
[ Parent | on HN ]