Github sometimes returns a 500, but after reloading it often works