Some weird issues with github private repos at work today. Glad that our workflow uses github but doesn’t rely on it.