I don't think GitHub successfully convinced OFAC to allow them to offer services in Iran in the intervening four hours between then and now.
If the current military gulf presence escalates to armed conflict having software open to the Iranian population keeps communication tools available until the internet gets cut.