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
<yastrak...@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.
_______________________________________________
Wikitech-l mailing list
Wikitech-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikitech-l
