Re: [cross-project-issues-dev] 103 Contributions pending on GitHub

[Thanh Ha <thanh.ha@xxxxxxxxxxx>]

It is possible to close pull requests, but the Foundation would have to 
replicate permissions to the mirrors for all projects to give the 
respective committers "Push" permissions to their repos on GitHub.

I suspect this would be a big maintenance issue though as that would 
mean we'd have to keep them in sync somehow with the Foundation systems.


Thanh

On 18/12/13 07:28 AM, Igor Fedorenko wrote:
> ... 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@xxxxxxxxxxx
> > https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
> _______________________________________________
> cross-project-issues-dev mailing list
> cross-project-issues-dev@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev