HACK: Workaround remote not existing
Signed-off-by: baalajimaestro <me@baalajimaestro.me>
This commit is contained in:
parent
94e6e9eca3
commit
e662496374
1 changed files with 5 additions and 2 deletions
|
@ -28,8 +28,11 @@ repo = Repo(base_dir)
|
|||
repo.create_tag(current_time)
|
||||
|
||||
# Nuke the remote if it existed
|
||||
try:
|
||||
if repo.remote("pushback").exists():
|
||||
repo.remote().remove(repo, "pushback")
|
||||
except ValueError:
|
||||
pass
|
||||
repo.create_remote(
|
||||
"pushback",
|
||||
f"https://{base_repo_user}:{base_repo_pass}@git.baalajimaestro.me/baalajimaestro/{content_repo_git}.git",
|
||||
|
|
Loading…
Reference in a new issue