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

Move chapter owners to page maintainers #297

Merged
merged 2 commits into from
Nov 2, 2023
Merged

Conversation

bouweandela
Copy link
Member

Add a maintainer to every page that we plan to keep (see #286 for a list).

@bouweandela bouweandela requested a review from egpbos November 1, 2023 16:58
@@ -65,3 +65,6 @@
* Generic Auto Tuners:
* [Kernel Tuner](https://github.com/benvanwerkhoven/kernel_tuner) (Python)
* [CLTune](https://github.com/CNugteren/CLTune) (C++)


*Page maintainer: unmaintained*
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@benvanwerkhoven Would you still be interested in maintaining the OpenCL/CUDA page now that you have a new place to work?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hi Bouwe! Indeed, I think it might be better if someone else, for example @isazi, takes over.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hi @bouweandela I will take over that from Ben. Let me know what else you need from me.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @isazi! Being a page maintainer involves checking once a year or so if the content is still up to date (and updating it if it turns out to be outdated) and if there is a pull request from someone else you will be asked to review it.

@egpbos
Copy link
Member

egpbos commented Nov 2, 2023

What do you think about putting the maintainers on top of the page instead to make them a bit more visible? We're going to be asking them periodically for some work, so I feel it's fair to give them some clear proper credit.

@bouweandela
Copy link
Member Author

What do you think about putting the maintainers on top of the page instead to make them a bit more visible?

Done in ca79bf1

Copy link
Member

@egpbos egpbos left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM! We should probably add maintainers to almost all pages (except the front page maybe), but that can be a separate PR.

@egpbos egpbos merged commit 8596f0e into main Nov 2, 2023
1 check passed
@egpbos egpbos deleted the add-page-maintainers branch November 2, 2023 19:28
@bouweandela
Copy link
Member Author

Agreed. I added them to all pages that we plan to keep, though I may have missed some.

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.

4 participants