9:57 fixing GitHub problem