Hi, It should be fixed now. Merging a PR is not enough nowadays, a manual ChatOps command is required
Best regards, Oleg On Monday, April 8, 2019 at 11:22:27 AM UTC+3, Nikolas Falco wrote: The PR to manage permissions for Artifactory has been merged but I do not > have yet permissions to push to github repository jenkinsci/dtkit-plugin > > Anyone can help? > > Il giorno domenica 10 marzo 2019 10:49:24 UTC+1, Oleg Nenashev ha scritto: >> >> The ownership transfer looks good to me. >> I am also fine with dkit as API plugin, the current approach is >> definitely a subject for improvement >> >> BR, Oleg >> >> On Saturday, March 9, 2019 at 3:29:25 PM UTC+1, Nikolas Falco wrote: >>> >>> Any comments? Any news? Any doubts? >>> >> -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/c4c78157-c60e-470d-8921-e582cccbd44f%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
