Skip to content

E
edx-platform
Commit cd538bd8 by David Baumgold
Options

Create edx remote if it doesn't exist

parent c694aaf5
Showing with 4 additions and 1 deletions
scripts/release.py
...@@ -45,13 +45,16 @@ def make_parser(): ...@@ -45,13 +45,16 @@ def make_parser():
def ensure_pr_fetch(): def ensure_pr_fetch():
remotes = git.remote().splitlines()
if not "edx" in remotes:
git.remote("add", "edx", "https://github.com/edx/edx-platform.git")
# it would be nice to use the git-python API to do this, but it doesn't seem # it would be nice to use the git-python API to do this, but it doesn't seem
# to support configurations with more than one value per key. :( # to support configurations with more than one value per key. :(
edx_fetches = git.config("remote.edx.fetch", get_all=True).splitlines() edx_fetches = git.config("remote.edx.fetch", get_all=True).splitlines()
pr_fetch = '+refs/pull/*/head:refs/remotes/edx/pr/*' pr_fetch = '+refs/pull/*/head:refs/remotes/edx/pr/*'
if pr_fetch not in edx_fetches: if pr_fetch not in edx_fetches:
git.config("remote.edx.fetch", pr_fetch, add=True) git.config("remote.edx.fetch", pr_fetch, add=True)
git.fetch() git.fetch("edx")
def default_release_date(): def default_release_date():
......
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