Hmm, I don't see the merge button either. I guess the redmine-plugin repo has some special settings or the bot failed to add access to the correct group when creating the repo.
Robert Sandell Software Tools Engineer - SW Environment and Product Configuration Sony Mobile Communications From: [email protected] [mailto:[email protected]] On Behalf Of Lukasz Jader Sent: den 8 augusti 2013 00:32 To: [email protected] Subject: Newbie problem: can't merge my own PR Hi, Maybe this is newbie problem, but I can't merge my own PR. I've made PR https://github.com/jenkinsci/redmine-plugin/pull/11 but somehow I'm not seeing green button "Merge pull request". Fun thing is that I can merge other people PR in different repos - I see mentioned earlier green button :). As note I'm member of jenkinsci organization on github. -- 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]<mailto:[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.
