Hi, could you please check the rights now? Adding the commit rights failed again with server error, but last time it happened to me, the right were actually added. Cheers Vojta
On Thursday 06 September 2012 00:12:35 Pierre-Yves Ritschard wrote: > Hi, > > I now see myself added to a leiningen-plugin developer team and the correct > repo exists in the jenkinsci organisation but i have no commit rights to > the repo, can push/pull rights be added to the "leiningen-plugin > developers" team for the leiningen-plugin repo ? > > Thanks! > > On Friday, July 27, 2012 8:30:40 PM UTC+2, Pierre-Yves Ritschard wrote: > > hi guys, i hope you don't mind me bumping this thread :) > > > > On Monday, July 23, 2012 8:36:50 PM UTC+2, nicolas de loof wrote: > >> no, I'll look into this asap > >> > >> 2012/7/23 Pierre-Yves Ritschard <[email protected]> > >> > >>> Is a next step expected from me to fix the commiter team creation ? > >>> > >>> On Friday, July 20, 2012 9:20:24 PM UTC+2, nicolas de loof wrote: > >>>> forked as > >>>> http://github.com/**jenkinsci/leiningen-plugin<http://github.com/jenki > >>>> nsci/leiningen-plugin> but the committer team creation failed. > >>>> > >>>> > >>>> > >>>> 2012/7/18 Pierre-Yves Ritschard > >>>> > >>>>> hi, i created a leiningen plugin here: https://github.com/pyr/** > >>>>> jenkins-leiningen <https://github.com/pyr/jenkins-leiningen> could > >>>>> you guys fork it to the jenkins-ci organisation and include it in > >>>>> mainstream jenkins ? If necessary i can rename the repo.
