mirror of
https://github.com/odoo/runbot.git
synced 2025-03-15 15:35:46 +07:00
runbot git housekeeping
This commit is contained in:
parent
609cf0fbdf
commit
1438152446
@ -257,6 +257,7 @@ class runbot_repo(osv.osv):
|
||||
if not os.path.isdir(os.path.join(repo.path, 'refs')):
|
||||
run(['git', 'clone', '--bare', repo.name, repo.path])
|
||||
else:
|
||||
repo.git(['gc', '--auto', '--prune=all'])
|
||||
repo.git(['fetch', '-p', 'origin', '+refs/heads/*:refs/heads/*'])
|
||||
repo.git(['fetch', '-p', 'origin', '+refs/pull/*/head:refs/pull/*'])
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user