Closed forki closed 8 years ago
Oh, my bad. Will recreate repo later today.
No I think we can rename it.
https://help.github.com/articles/renaming-a-repository/
done
Oh, my bad. Will recreate repo later today.