Commit b126c9ae by John Jarvis

adding '.git' to repo path

parent a769ddba
...@@ -59,7 +59,7 @@ def update_repos(): ...@@ -59,7 +59,7 @@ def update_repos():
with open('/var/tmp/repos.json') as f: with open('/var/tmp/repos.json') as f:
repos = json.load(f) repos = json.load(f)
for repo in repos: for repo in repos:
repo_path = os.path.join(args.datadir, repo['org'], repo['name']) repo_path = os.path.join(args.datadir, repo['org'], repo['name'] + '.git')
if not os.path.exists(repo_path): if not os.path.exists(repo_path):
run_cmd('mkdir -p {}'.format(repo_path)) run_cmd('mkdir -p {}'.format(repo_path))
run_cmd('git clone --mirror {} {}'.format(repo['html_url'], repo_path)) run_cmd('git clone --mirror {} {}'.format(repo['html_url'], repo_path))
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment