![]() |
|
|
|
|
Issue Type:
|
![Improvement]() Improvement
|
|
Assignee:
|
Christopher Orr
|
|
Components:
|
ircbot |
|
Created:
|
08/Aug/14 8:15 PM
|
|
Description:
|
I just made the mistake of forking a plugin repo on GitHub via the IRC bot, which was called something like "jenkins-foo-plugin".
Of course, the "jenkins-" prefix is redundant so we usually remove this, but ensure there is a "-plugin" suffix (well, for plugins at least).
So the IRC bot should block people from forking "jenkins-foo-plugin" (due to the redundant prefix) or "foo" (due to the missing "-plugin" suffix).
The bot probably should block and not automatically alter the name, as not every repo is a plugin (e.g. backend or infra projects which we may clone).
The bot should reply with the correct syntax, e.g.:
Refusing to fork "jenkins-foobar" due to bad repo name — try again with "fork baz/jenkins-foobar as foobar-plugin"
|
|
Project:
|
Jenkins
|
|
Priority:
|
![Minor]() Minor
|
|
Reporter:
|
Christopher Orr
|
|
|
|
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators.
For more information on JIRA, see: http://www.atlassian.com/software/jira
|
--
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to
jenkinsci-issues+unsubscr...@googlegroups.com.
For more options, visit
https://groups.google.com/d/optout.
