But these were lots of repos and not just forks, but the look of it - If that's ...

emn13 on Nov 11, 2013 | parent | context | favorite | on: Jenkin developers accidentally do "git push --forc...

But these were lots of repos and not just forks, but the look of it - If that's the case, I'm guessing some scripting was involved, so the defaults wouldn't have mattered.