github is down for the last few hours today (whole region is dealing with this, hoping this recovers before classes start)