Just to throw something out there... I've never used it so perhaps its not fit for purpose, but given that Github supposedly supports people accessing the repositories via SVN, wouldn't an idea be to make sure that all repositories live on Github and people simply use their choice of SCM tool?
Richard. On Thu, 23 Apr 2015 at 08:25 Daniel Beck <[email protected]> wrote: > On 22.04.2015, at 14:59, Jesse Glick <[email protected]> wrote: > > > I am not sure if active changes are being made there. > > More than 100 commits this year. Granted, most by just one user, Dimitri > Tenenbaum (and some of those because of the recent Artifactory auth problem > IIRC), but still. > > > surely there are many cases where the plugin maintainer simply forgot to > close the svn dir. > > > Did you actually check the individual plugin folders? More than half of > them contain just zero or one file (a README pointing to Github). I cleaned > quite a few up in November, replacing sources by a notice that the plugin > was moved as seems to be customary when continuing on Github. And most of > the rest were plugins untouched for a few years, and I doubt they suddenly > became active in large numbers. > > > This is a freaking mess. > > I don't see it. Sure, if the intention is to reduce the infra we need to > maintain, freeing resources for other things, moving plugins to Github > could be done. But I don't have the impression that SVN is a drain on > resources. And IMO the mess is not nearly as bad as you seem to assume. > > Of course, what we could do is force all plugins that haven't been updated > in either repo since e.g. 2012 (Nicolas' POM mass cleanup) to migrate to > Github. I doubt we'll have more than a handful left, and if those ever get > picked up again, it'd likely be on Github anyway. > > -- > 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]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/5A30E1DB-6B93-4C1E-8474-E1BA8D5743F3%40beckweb.net > . > For more options, visit https://groups.google.com/d/optout. > -- 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAMui945%3DeANNAbLLoU3z%3DtjdmGNV5ejMHvf4mDuJbqJqZELUMQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
