Hi, Did you just try merging using the web UI? If so, then maybe try doing it with pure git. Merging locally and pushing should close the corresponding PR.
My 2 cents. Le 12 août 2013 19:54, "Łukasz Jąder" <[email protected]> a écrit : > Hi, > > I've received jenkins commit access but I'm forbidden to merge PRs in > https://github.com/jenkinsci/redmine-plugin . I can merge other people > PRs in other repos that I checked. I've recieved confirmation that this > repo is somehow restricted > https://groups.google.com/forum/?fromgroups=#!topic/jenkinsci-dev/nRZRNAaqcPY. > > Because I can't merge I assume that also tagging and releasing new version > of plugin would fail. > > Please verify this repo settings and provide some feedback. It's quite > frustrating to be unable to push forward in development of this plugin. > > Thanks in advance. > > -- > 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]. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- 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]. For more options, visit https://groups.google.com/groups/opt_out.
