From 6d2310c4f86a6dc8d2c56bfbcab7bac37377557b Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Wed, 10 Apr 2024 14:46:11 +0200
Subject: [PATCH] [web] Use git rebase over git pull.

---
 .../devguide/development-workflows/setup-fork/index.md    | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/web/content/docs/devguide/development-workflows/setup-fork/index.md b/web/content/docs/devguide/development-workflows/setup-fork/index.md
index d48e242dfd9..8477f85d1e1 100644
--- a/web/content/docs/devguide/development-workflows/setup-fork/index.md
+++ b/web/content/docs/devguide/development-workflows/setup-fork/index.md
@@ -91,10 +91,9 @@ git config remote.pushdefault origin
 git config push.default current
 ```
 
-To streamline the updating workflow the `pull`-command is configured to rebase by default (instead of merge) and to handle local modifications automatically (`autostash`). See [this blog post](https://cscheng.info/2017/01/26/git-tip-autostash-with-git-pull-rebase.html) on more information about the `git pull --rebase --autostash`-functionality.
+To streamline the updating workflow the `rebase`-command is configured to handle local modifications automatically (`autostash`). See [this blog post](https://cscheng.info/2017/01/26/git-tip-autostash-with-git-pull-rebase.html) on more information about the `git rebase --autostash`-functionality.
 
 ```bash
-git config pull.rebase true
 git config rebase.autoStash true
 ```
 
@@ -180,11 +179,10 @@ gitGraph
 To keep up to date with the developments in the official repository it is recommended to rebase your feature-branch regularly (at least weekly) with:
 
 ```bash
-git pull upstream master
+git fetch upstream
+git rebase upstream/master
 ```
 
-We used `git pull` here which was configured to `rebase` by default (`git config pull.rebase true`)
-
 <div class="note">
 
 This can potentially lead to conflicts, which [have to be resolved](https://www.git-tower.com/learn/git/faq/solve-merge-conflicts).
-- 
GitLab