On 2012-11-05 09:31:08 +0000 (+0000), Ben Laurie wrote:
> On Mon, Nov 5, 2012 at 5:07 AM, Nico Williams <[email protected]> wrote:
> > It's just git, so keep multiple clone repos. You could use an
> > internal one as the master and push updates to the github one if
> > you don't trust github -- use github to serve outsiders.
>
> That is exactly the plan.
For what it's worth, that's what we've been doing in the OpenStack
project (with some scripting to auto-close GitHub pull requests with
a message directing the contributor to our code review system). It's
been working quite well and keeps pull load off our overworked
master repository.
--
{ WHOIS( STANL3-ARIN ); WWW( http://fungi.yuggoth.org/ );
FINGER( [email protected] ); IRC( [email protected]#ccl );
PGP( 43495829 ); MUD( [email protected]:6669 ); }
_______________________________________________
cryptography mailing list
[email protected]
http://lists.randombit.net/mailman/listinfo/cryptography
