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.

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

Update committers list & add link to wiki #2267

Merged
merged 1 commit into from
Oct 16, 2023

Conversation

ysuarez
Copy link
Contributor

@ysuarez ysuarez commented Oct 15, 2023

Purpose / why

There are currently two lists of committers and emeritus committers:
https://islandora.github.io/documentation/contributing/committers
https://github.com/Islandora/islandora-community/wiki/Islandora-Committers

This PR is an attempt to end up with a single list, which would be easier to maintain.

What changes were made?

  • I made sure that the github.io version of the lists had the same information as the wiki version of the lists.
  • I also added a link to the wiki committers page.
  • I made one committer an emeritus committer, as alerted by @seth-shaw-asu (Debbie Flitner)
  • I again alphabetized both lists

Verification

Interested Parties

  • @Islandora/documentation
  • @Islandora/committers

Checklist

Pull-request Reviewer

Pull-request reviewer should ensure the following:

Person Merging

The person merging should ensure the following:

  • Does mkdocs still build successfully? (This is indicated by TravisCI passing. To test locally, and see warnings, see How To Build Documentation.)
  • If pages are renamed or removed, have all internal links to those pages been fixed?
  • If pages are added, have they been linked to or placed in the menu?
  • Did the PR receive at least one approval from a committer, and all issues raised have been addressed?

@ysuarez ysuarez changed the title Update committers list add link to wiki Update committers list & add link to wiki Oct 15, 2023
@rosiel rosiel merged commit 4c3a55e into Islandora:main Oct 16, 2023
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants