Comment by homebrewer

Downtime when you can afford it (for us it's in the middle of the night, and very rarely), not in the middle of the working day when GitHub fucks up yet again.