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
[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
