On 08/05/2013 02:40 PM, Jan Ruzicka wrote:
Hi Kohsuke,
Thank you very much for your help.
Just a clarification question:
1) Are there plugin projects that are legitimately staying in SVN and are
not transitioned to GitHub?
Is there a web interface for browsing contents of SVN projects?
The http://fisheye.jenkins-ci.org/ seems to be down.
The activity in the Subversion repository is very low, but it still
exists. We just had the monitor plugin released from Subversion this
weekend.
Historically we haven't been dictating where plugins should reside, but
if we want to contact those who are still committing to Subversion to
see what they think about moving to GitHub, that sounds like a good idea.
As you may know, all the Subversion repositories are tracked in GitHub
anyway, so migrating is pretty easy so long as those developers can work
with Git.
2) Are there any legitimate reasons for releasing plugins from outside
of jenkinsci group when jenkinsci project exists?
I understand that it may be done due to time constrain when
maintainer does not have appropriate privileges.
We are discouraging this, and I think for a good reason. But I don't
think we have gone so far as to actually enforce this in the update center.
Jan
On Aug 5, 2013, at 14:54, Kohsuke Kawaguchi wrote:
My apologies for letting this fall through the cracks.
I've changed the job configuration to use RepoInfo.txt, I've added the
github token, and I've also tweaked the permission so that you have the
write access to this job's configuration. We shouldn't be getting in
your way or making changes!
If there are more things you need to prevent us from getting in your
way, please let me know.
[snip]
--
Kohsuke Kawaguchi | CloudBees, Inc. | http://cloudbees.com/
Try Jenkins Enterprise, our professional version of Jenkins
--
Kohsuke Kawaguchi | CloudBees, Inc. | http://cloudbees.com/
Try Jenkins Enterprise, our professional version of Jenkins
--
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.
