search

sphinx-contrib / github-administration

This repository is used for managing the sphinx-contrib GitHub organization, including requesting importing new repositories or granting permissions.
18 stars 9 forks source link

Membership #8

Closed hason closed 4 years ago

hason commented 4 years ago

I would like to become a member so I can add an extension that provides a directive for diagrams via https://kroki.io https://github.com/hason/sphinx-kroki

Best Regards Martin Hasoň

dhellmann commented 4 years ago

@hason I have sent you an invitation.

Please use this issue to let me know if you have problems migrating the repository, and we can close it when the migration is done.

hason commented 4 years ago

@dhellmann I would like to rename the repository (https://github.com/sphinx-contrib/sphinx-kroki to https://github.com/sphinx-contrib/kroki), but unfortunately I do not have the rights.

stephenfin commented 4 years ago

Done! You also have admin permissions so you can do this yourself in the future.

dhellmann commented 4 years ago

Thanks, @stephenfin!