From f18e06a39be8aad641990f0fb6456f11d953b8c0 Mon Sep 17 00:00:00 2001
From: Mo8it <mo8it@proton.me>
Date: Tue, 10 May 2022 01:28:57 +0200
Subject: [PATCH] Add origin main to git pull

---
 README.adoc                              | 2 +-
 advlabdb/scripts/maintain/user_update.py | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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