No puedo publicar en el tema “Git hang” porque está cerrado desde el 28 de septiembre, pero al notar algunos problemas de lentitud hace unos minutos pensé: ah, tal vez git se haya caído de nuevo y esté causando problemas, y, como no, downdetector.com estaba mostrando un gran pico de caídas para GitHub más o menos en ese momento. 