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