On Wed, Dec 18, 2013 at 10:42 AM, Markus Alexander Kuppe < [email protected]> wrote:
> On 12/18/2013 10:36 AM, Mickael Istria wrote: > > Wouldn't it be better to disable pull requests for Eclipse repository > > mirrors at GitHub? Or enforce usage of a hook on pull request telling to > > use Bugzilla & Gerrit? > we could also consider to use the Gerrit Github plugin [1] to import Github pull requests into Gerrit for those projects using Gerrit. [1] http://www.packtpub.com/article/using-gerrit-with-github -- Matthias
_______________________________________________ cross-project-issues-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
