Github is down since 12:36 GMT