Creating the repository in a temp directory, use tempfile.gettempdir().
commitd41e4b2bace816412967a1474ea9091393981bd6
authorSverre Rabbelier <sverre@rabbelier.nl>
Wed, 4 Jun 2008 14:28:15 +0000 (4 16:28 +0200)
committerSverre Rabbelier <sverre@rabbelier.nl>
Wed, 4 Jun 2008 14:28:15 +0000 (4 16:28 +0200)
tree27d6636c548e544233face117b3c08ba8a35d040
parentbc9d1040f323a0b09674f0a1c6ec7048e31580ab
Creating the repository in a temp directory, use tempfile.gettempdir().

To prevent oddities with nested git directories
create the fresh repository in a temp directory.
src/scripts/setupRepo.py