Am 17.07.2013 16:06, schrieb Jesse Glick: > On 07/17/2013 04:51 AM, Olaf Mandel wrote: >> Can the commit still be used or should I make a new commit and >> pull request? > > The commit can still be used. I just updated the title of the pull > request to (1) be meaningful; (2) use the magic wording, since the > title of the PR is used by default for the commit message of the > merge request if it is accepted. (And I think the JIRA link daemon > will check also merge commits.) >
Thank you for the clarification and for already editing the pull request! >From another recent exchange between "ss.rakesh" and "nicolas de loof" I understand that while no immediate review by the plugin maintainer will happen, It may happen in the not-too-far future. Anyone else here who knows the details of GitLabs URL format over different versions? -- 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.
