Not if they fork from our github mirror and their origin is their own repo.
Personally my origin is the github remote I push my unfinished branches of
code too. I use 'core' for the actual gerrit remote.
And I didn't even fork. I did this before we had a github mirror.
--
~Daniel Friesen (Dantman, Nadir-Seen-Fire) [
http://danielfriesen.name/]
On Wed, 05 Jun 2013 15:45:32 -0700, Yuri Astrakhan
yastrakhan@wikimedia.org wrote:
> I wonder if "origin" should be made the default setting for gerrit -
> after
> all every new git clone automatically uses "origin". The fewer
> "surprise!"
> moments devs have, the more productive we become.