I am having trouble pulling and want to delete and re-clone, but I don't want to attempt this if GitHub is still down. Any word or advice as to what the problem might be? It says there are conflicts but I have not changed anything since last time I pulled.