This thread has probably reached that limit of fresh
arguments. Can we
continue with proper documentation, reporting and patches?
We care about GitHub and we believe it is an important source of potential
contributors. This is why we are mirroring our repos there, and this is why
we are working on
Bug 35497 - Implement a way to bring GitHub pull requests into Gerrit
https://bugzilla.wikimedia.**org/show_bug.cgi?id=35497<https://bugzilla.…
If you want to improve the path from GitHub to Gerrit please contribute to
that bug report or e.g. in a landing page (at
mediawiki.org or
github.com)
to help GitHub users interested in our projects.
About the Gerrit UI, if you have specific complaints or enhancement
requests please file them. We have been upstreaming reports and also
patches. We are surely not the only Gerrit users thinking that GitHub does
some things better so there is hope. But saying "it's ugly" doesn't
help.
On 03/09/2013 01:06 PM, Tyler Romeo wrote:
- Registration - The only thing that is
probably a problem. We need to
make Gerrit registration easier.
What are the bottlenecks nowadays? If there are still any please file bugs.
Yes, please do. Notice that I'm tracking account creation improvement here,
as well:
<