1. Duh! Github down for maintenance. Quarter of the world's dev on hold?