Skip to content

contributors: fix spelling & remove dedicated AllContributors section#3638

Merged
georglauterbach merged 1 commit intomasterfrom
contributors
Nov 14, 2023
Merged

contributors: fix spelling & remove dedicated AllContributors section#3638
georglauterbach merged 1 commit intomasterfrom
contributors

Conversation

@georglauterbach
Copy link
Copy Markdown
Member

Description

With the latest contributors.yml workflow, everyone is included in the list of contributors. Hence, we do not need the extra section anymore.

Type of change

  • Improvement (non-breaking change that does improve existing functionality)

Checklist:

  • My code follows the style guidelines of this project
  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas

With the latest `contributors.yml` workflow, everyone is included in the
list of contributors. Hence, we do not need the extra section anymore.
@georglauterbach georglauterbach added kind/improvement Improve an existing feature, configuration file or the documentation area/documentation labels Nov 14, 2023
@georglauterbach georglauterbach self-assigned this Nov 14, 2023
@georglauterbach
Copy link
Copy Markdown
Member Author

I don't want to take up valuable maintainers' time here, so I will merge this without review but in good faith (of course). If you think this change has issues, please contact me!

@georglauterbach georglauterbach merged commit f5a7e9d into master Nov 14, 2023
@georglauterbach georglauterbach deleted the contributors branch November 14, 2023 15:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/documentation kind/improvement Improve an existing feature, configuration file or the documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant