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" <i...@ifedorenko.com> > To: cross-project-issues-dev@eclipse.org > 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 > > cross-project-issues-dev@eclipse.org > > https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev > > > _______________________________________________ > cross-project-issues-dev mailing list > cross-project-issues-dev@eclipse.org > https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev > _______________________________________________ cross-project-issues-dev mailing list cross-project-issues-dev@eclipse.org https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev