The Jetty project enjoys the github repository and would not like to see PR requests disabled or the repository go away.
This decisions being discussed here should be up to the individual projects, not wholesale for all of eclipse. On Wed, Dec 18, 2013 at 5:46 AM, Aleksandar Kurtakov <[email protected]>wrote: > If one can't disable and close pull requests dropping these repos sounds > like best idea to me. > > Alexander Kurtakov > Red Hat Eclipse team > > ----- Original Message ----- > > From: "Igor Fedorenko" <[email protected]> > > To: [email protected] > > Sent: Wednesday, December 18, 2013 2:28:41 PM > > Subject: Re: [cross-project-issues-dev] 103 Contributions pending on > GitHub > > > > ... and to make things even more fun, there does not appear to be a way > > to "close" pending pull requests. > > > > -- > > Regards, > > Igor > > > > On 12/18/2013, 5:19, Mickael Istria wrote: > > > Actually, it appears that there is no way to disable pull requests, > even > > > for a mirror. > > > http://laurent.bachelier.name/2012/05/github-kinda-sucks/ > > > -- > > > Mickael Istria > > > Eclipse developer at JBoss, by Red Hat <http://www.jboss.org/tools> > > > My blog <http://mickaelistria.wordpress.com> - My Tweets > > > <http://twitter.com/mickaelistria> > > > > > > > > > _______________________________________________ > > > cross-project-issues-dev mailing list > > > [email protected] > > > https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev > > > > > _______________________________________________ > > cross-project-issues-dev mailing list > > [email protected] > > https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev > > > _______________________________________________ > cross-project-issues-dev mailing list > [email protected] > https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev >
_______________________________________________ cross-project-issues-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
