News for hackers. Stuff that matters.

A comment on GitHub was down. Parent comment

Re:GitHub was down by nneonneo on Friday March 12, 2021 @01:53PM (#26439394)
Could you just pull the PR from the submitter’s machine? They could serve it via e.g. git http-backend and you could then point the CI there to pull.
[ Parent | on HN ]

There are no comments on this comment yet.