Wait what!? Can't you just reconfigure your .git configs to temporarily use another repo locally?
Seriously: for example copying then transforming any one of your local .git repo to a "bare" repository takes like two commands. Anyone with a Linux machine can do it. Then all the devs can temporarily use that repo to push/pull/whatever.
I think if you're to the point where you're emailing patches, it's worth it.
Seriously: for example copying then transforming any one of your local .git repo to a "bare" repository takes like two commands. Anyone with a Linux machine can do it. Then all the devs can temporarily use that repo to push/pull/whatever.
I think if you're to the point where you're emailing patches, it's worth it.