Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add sphinx extension to generate a list of all contributors #1

Merged
merged 20 commits into from
Sep 6, 2024
Merged

add sphinx extension to generate a list of all contributors #1

merged 20 commits into from
Sep 6, 2024

Conversation

tkoyama010
Copy link
Owner

@tkoyama010 tkoyama010 added the enhancement New feature or request label Sep 5, 2024
@tkoyama010 tkoyama010 closed this Sep 6, 2024
@tkoyama010 tkoyama010 reopened this Sep 6, 2024
@github-actions github-actions bot added documentation Improvements or additions to documentation maintenance labels Sep 6, 2024
@tkoyama010 tkoyama010 merged commit babe40d into main Sep 6, 2024
1 check passed
@tkoyama010 tkoyama010 deleted the feat/add branch September 6, 2024 01:02
@tkoyama010
Copy link
Owner Author

@all-contributors please add @tkoyama010 for code

@allcontributors allcontributors bot mentioned this pull request Sep 6, 2024
Merged
@allcontributors AllContributors
Copy link
Contributor

@tkoyama010

I've put up a pull request to add @tkoyama010! 🎉

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
documentation Improvements or additions to documentation enhancement New feature or request maintenance
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@tkoyama010