changeset 6004:d114726d6469

Repository: make all GIT branches available.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Fri, 05 Nov 2010 21:00:07 +0100
parents ee018b9063a5
children 6fcfe1af95eb
files gub/repository.py
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/gub/repository.py	Mon Nov 01 13:37:35 2010 +0100
+++ b/gub/repository.py	Fri Nov 05 21:00:07 2010 +0100
@@ -681,6 +681,8 @@
             self.system ('mkdir -p %(destdir)s' % locals ())
             self.system ('cd %(destdir)s && git init' % locals ())
             open ('%(destdir)s/.git/objects/info/alternates' % locals (), 'w').write (os.path.join (self.dir, 'objects'))
+            dir = self.dir
+            self.system ('cp %(dir)s/packed-refs %(destdir)s/.git/packed-refs' % locals ())
 #            self.system ('cd %(destdir)s && git reset --hard %(HEAD)s' % locals ())
         if self.git_pipe ('diff' % locals (), dir=destdir):
             self.system ('cd %(destdir)s && git reset --hard %(HEAD)s' % locals ())