diff --git a/README.adoc b/README.adoc index f44bfa7..dc2d9f0 100644 --- a/README.adoc +++ b/README.adoc @@ -17,7 +17,7 @@ Navigate to the directory `advlabdb` where the repository is _already_ cloned (o [source,bash] ---- -git pull +git pull origin main ---- to pull the latest changes from the remote repository. Then run: diff --git a/advlabdb/scripts/maintain/user_update.py b/advlabdb/scripts/maintain/user_update.py index fba0887..8a091dc 100644 --- a/advlabdb/scripts/maintain/user_update.py +++ b/advlabdb/scripts/maintain/user_update.py @@ -17,7 +17,7 @@ def main(): # TODO: Backup box("Pull updates from the git repository") - run("git pull", cwd=REPO_DIR) + run("git pull origin main", cwd=REPO_DIR) box("Update user docs") # TODO: Update docs