Some weird issues with github private repos at work today. Glad that our workflow uses github but doesn’t rely on it. 11:02 22nd May 2013 updated: 09:44 19th March 2024