4 ms·

True, but since it's git, anybody can just take their local checkout and push it to github.

• oblio 3y ago
  If anyone still has it...