Hacker News new | past | comments | ask | show | jobs | submit
If the job queue is down, that wouldn't help, would it?

On my repo the jobs do not get scheduled on the PRs at all, so I assume that separation wouldn't help for todays issue.

They have the github enterprise domain separated out and its working fine right now https://us.githubstatus.com/posts/dashboard
loading story #48280321