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.)
-- 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.
