# HG changeset patch # User Jeff Hammel # Date 1365194244 25200 # Node ID 048e391423a16dd3ef254ada447c3e05d144c0e4 # Parent 693f209fdbaa6f2139f281c106308249ed396503 note about git config diff -r 693f209fdbaa -r 048e391423a1 buttercup/source.py --- a/buttercup/source.py Sun Mar 24 00:47:55 2013 -0700 +++ b/buttercup/source.py Fri Apr 05 13:37:24 2013 -0700 @@ -71,8 +71,20 @@ if not os.path.exists(self.srcdir): os.makedirs(self.srcdir) call(['git', 'clone', self.uri], cwd=self.srcdir) - # TODO: add a more intelligent .git/config - + # TODO: add a more intelligent .git/config, e.g. +# [core] +# repositoryformatversion = 0 +# filemode = true +# bare = false +# logallrefupdates = true +# [remote "origin"] +# fetch = +refs/heads/*:refs/remotes/origin/* +# url = git://github.com/mozilla/toolbox.git +# pushurl = git@github.com:mozilla/toolbox.git +# [branch "master"] +# remote = origin +# merge = refs/heads/master +# see: http://git.661346.n2.nabble.com/Separate-default-push-pull-td4555821.html def sources(source_dict, **kwargs): """