Right, just communicate directly with your colleagues when GitHub is down. This is exact workflow Git was designed to work with.