> On 8. Nov 2018, at 12:26, Baptiste Mathus wrote:
>
> Just redid it a few seconds now, you *have* to accept the invitation before
> permissions are enabled.
>
This, by the way, is the reason.
--
You received this message because you are subscribed to the Google Groups
"Jenkins
Normally, was done by Daniel as per
https://github.com/jenkins-infra/repository-permissions-updater/pull/876#issuecomment-427487845
Just redid it a few seconds now, you *have* to accept the invitation before
permissions are enabled.
For the record:
[12:24] <+ batmat> | jenkins-admin: hey
Hello, I seem to need more help here. I just submitted a pull request to
update this plugin, and I don't seem to have permission to merge it. Can
you please verify that I have write access to the repo:
Repo: https://github.com/jenkinsci/ease-plugin
Github name: rufriedman
Jenkins account:
Thank you for the merge and the clarification!
On Fri, Oct 5, 2018 at 4:04 PM Baptiste Mathus wrote:
> So, for the record PR was
> https://github.com/jenkins-infra/repository-permissions-updater/pull/876
> and is merged, so I gather this issue is now resolved.
>
> And for people posssibly
So, for the record PR was
https://github.com/jenkins-infra/repository-permissions-updater/pull/876
and is merged, so I gather this issue is now resolved.
And for people posssibly wondering, yes: the idea is that we require *any*
type of approval. Though we require that those are easily to check.
I have submitted the PR to the permissions repo, and I am not sure what
type of approval you need from the previous maintainers. A comment in the
permissions PR?
In case it helps, I did a PR to the plugin repo and got one of the previous
maintainers to merge that. Is that sufficient?
Thanks!
Hello, please file a PR in the permissions repository, and get approval
from at least one of the previous maintainers.
Thanks
Le mar. 25 sept. 2018 à 23:19, Robert Friedman a
écrit :
> Hello, I would like to get commit access to the plugin
> https://plugins.jenkins.io/ease-plugin. My company
Hello, I would like to get commit access to the plugin
https://plugins.jenkins.io/ease-plugin. My company developed it originally
but the 2 maintainers are no longer involved. We are planning to update it
within the next few weeks with a new version.
Github ID: rufriedman
Jenkins.io: rfriedman
