Add committee members for 2022 and 2023

[harrymcn]

Hello Maintainer[s]

My pull request is for an update of the committee members as you can see. I went to the AGM minutes and copied the new committee names into the committee.md file. I see there is a Paul A and a Paul D bit I don't have access to the surnames if they are necessary. If required, please let me know and I can correct and submit a further pull request.

Also, from my reading, I have forked the plug repository and cloned that fork to my local machine so I can browse and edit files locally then commit them to my fork and provide a pull request to you to merge my updates from my github repository.

I understand a fork to mean I can periodically keep my github fork in sync with other changes that occur at plug but I wondered if I should prevent push and delete requests from plug maintainers. Please let me know the netiquette here since I am a n00b in collaborative work on GitHub.

Thank you
Harry

[Zorlin]

Hi Harry, Paul D prefers to keep it shortened for privacy reasons, so that's all good :)

…

On Sun, Aug 13, 2023, 10:53 AM harrymcn ***@***.***> wrote: Hello Maintainer[s] My pull request is for an update of the committee members as you can see. I went to the AGM minutes and copied the new committee names into the committee.md file. I see there is a Paul A and a Paul D bit I don't have access to the surnames if they are necessary. If required, please let me know and I can correct and submit a further pull request. Also, from my reading, I have forked the plug repository and cloned that fork to my local machine so I can browse and edit files locally then commit them to my fork and provide a pull request to you to merge my updates from my github repository. I understand a fork to mean I can periodically keep my github fork in sync with other changes that occur at plug but I wondered if I should prevent push and delete requests from plug maintainers. Please let me know the netiquette here since I am a n00b in collaborative work on GitHub. Thank you Harry ------------------------------ You can view, comment on, or merge this pull request online at: #19 Commit Summary - ba0cd6e <ba0cd6e> Add committee members for 2022 and 2023 File Changes (1 file <https://github.com/plugorgau/plugorgau.github.io/pull/19/files>) - *M* content/about/committee.md <https://github.com/plugorgau/plugorgau.github.io/pull/19/files#diff-d13a7be30d9e38edb71359eb636f3eb5cb920c41859f87f1e1a6d00939db7a20> (2) Patch Links: - https://github.com/plugorgau/plugorgau.github.io/pull/19.patch - https://github.com/plugorgau/plugorgau.github.io/pull/19.diff — Reply to this email directly, view it on GitHub <#19>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAKONLBKWGC5AHMR4BUGBZLXVA6SXANCNFSM6AAAAAA3OKZP74> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[Hammit]

Only cause the mafia is after him ;) On Sun, 13 Aug 2023 at 14:55, Benjamin Arntzen ***@***.***> wrote:

…

Hi Harry, Paul D prefers to keep it shortened for privacy reasons, so that's all good :) On Sun, Aug 13, 2023, 10:53 AM harrymcn ***@***.***> wrote: > Hello Maintainer[s] > > My pull request is for an update of the committee members as you can see. > I went to the AGM minutes and copied the new committee names into the > committee.md file. I see there is a Paul A and a Paul D bit I don't have > access to the surnames if they are necessary. If required, please let me > know and I can correct and submit a further pull request. > > Also, from my reading, I have forked the plug repository and cloned that > fork to my local machine so I can browse and edit files locally then commit > them to my fork and provide a pull request to you to merge my updates from > my github repository. > > I understand a fork to mean I can periodically keep my github fork in sync > with other changes that occur at plug but I wondered if I should prevent > push and delete requests from plug maintainers. Please let me know the > netiquette here since I am a n00b in collaborative work on GitHub. > > Thank you > Harry > ------------------------------ > You can view, comment on, or merge this pull request online at: > > #19 > Commit Summary > > - ba0cd6e > < ba0cd6e> > Add committee members for 2022 and 2023 > > File Changes > > (1 file <https://github.com/plugorgau/plugorgau.github.io/pull/19/files>) > > - *M* content/about/committee.md > < https://github.com/plugorgau/plugorgau.github.io/pull/19/files#diff-d13a7be30d9e38edb71359eb636f3eb5cb920c41859f87f1e1a6d00939db7a20> > (2) > > Patch Links: > > - https://github.com/plugorgau/plugorgau.github.io/pull/19.patch > - https://github.com/plugorgau/plugorgau.github.io/pull/19.diff > > — > Reply to this email directly, view it on GitHub > <#19>, or unsubscribe > < https://github.com/notifications/unsubscribe-auth/AAKONLBKWGC5AHMR4BUGBZLXVA6SXANCNFSM6AAAAAA3OKZP74> > . > You are receiving this because you are subscribed to this thread.Message > ID: ***@***.***> > — Reply to this email directly, view it on GitHub <#19 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ABOIXVI7PF3KPEWT6MXBO3DXVB27VANCNFSM6AAAAAA3OKZP74> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[harrymcn]

Thank you Tim
Can you assist with the question in my last paragraph ?
The message above says:

Pull request closed
If you wish, you can delete this fork of plugorgau/plugorgau.github.io in the settings.

If I say [yes], what is that actually doing ?
I am trying to understand in the context of a kernel source (a small code base ;-)
All the best
Harry