On: GitHub is fully available in Iran

[alexeldeib]

There are some approaches, e.g. https://github.com/dspinellis/git-issue

But I don't think there's much standardization around this type of git usage, and I'm not sure how efficient it would be for large repos.