Grant docs team permission on jenkins-infra/plugins-wiki-docs

[MarkEWaite]

GitHub repositories

https://github.com/jenkins-infra/plugins-wiki-docs

GitHub users to have permission

@MarkEWaite
@kmartens27
@krisstern
@gounthar

Permission level

Maintain

Justification

Sometimes the plugin-wiki-docs repository needs an update as in:

• Deprecate Pegdown plugin, link to Markdown plugin plugins-wiki-docs#7

Let's allow the documentation maintainers to update that repository just as they can update the jenkins.io repository.

[lemeurherve]

@MarkEWaite WDYT of adding them to https://github.com/orgs/jenkins-infra/teams/docs team so I can add it as maintainers of this repo?

[timja]

or add the copy-editors team?

[MarkEWaite]

I think that both those options would be great. The docs team should include @kmartens27 (which it doesn't) and the copy editors should be allowed to edit the wiki export copy.

[lemeurherve]

I've added @kmartens27 to https://github.com/orgs/jenkins-infra/teams/docs/ and set https://github.com/orgs/jenkins-infra/teams/copy-editors as "maintainer" of https://github.com/jenkins-infra/plugins-wiki-docs (this team was already "reader" on this repo)

[kmartens27]

Thanks very much @lemeurherve!

[gounthar]

So, do I have permission now? 🤔
Thanks.

[lemeurherve]

@gounthar @krisstern sorry I though you were already in the https://github.com/orgs/jenkins-infra/teams/copy-editors team.
I've just added you, it should be good now.

[gounthar]

Thank you, @lemeurherve . 🤗

[krisstern]

No worries! Thanks @lemeurherve