Always call git fetch edx before finding PR branches

This commit is contained in:
David Baumgold
2014-07-08 15:38:20 -04:00
parent 4cb1a510fc
commit 326ca21dd8

View File

@@ -100,8 +100,8 @@ def ensure_pr_fetch():
pr_fetch = '+refs/pull/*/head:refs/remotes/edx/pr/*'
if pr_fetch not in edx_fetches:
git.config("remote.edx.fetch", pr_fetch, add=True)
git.fetch("edx")
modified = True
git.fetch("edx")
return modified