> Any suggestion? if the plugins where hosted in the contributed repo and are still working, then migrate them in the new ropo and open a project on redmine. It can't hurt anyone.