This is the perfect moment to stress that git is decentralized, so you can push/pull directly from you colleagues. The fact that github is down is a only poor excuse for an extended coffee break. ;) (Down from BE)
Unless most of us are stupid enough to use GitHub issues and PRs instead of having that data in the repository itself.
When I looked into this years ago, I couldn't find any good tools for using the repository itself as the data storage layer for bug tracking, PRs, etc. So (at least then) Github was the best option.
Can you recommend any alternatives?