[sumo-dev] Merge options for git pull

[Harald Schaefer <fechsaer@xxxxxxxxx>]

Hi all,

after upgrading to Ubuntu 20.10 the command "git pull" gives a new message

harald@nyc> git pull
warning: Es wird davon abgeraten zu Pullen, ohne anzugeben, wie mit 
abweichenden
Branches umgegangen werden soll. Sie können diese Nachricht unterdrücken,
indem Sie einen der folgenden Befehle ausführen, bevor der nächste Pull
ausgeführt wird:

  git config pull.rebase false  # Merge (Standard-Strategie)
  git config pull.rebase true   # Rebase
  git config pull.ff only       # ausschließlich Vorspulen

Sie können statt "git config" auch "git config --global" nutzen, um
einen Standard für alle Repositories festzulegen. Sie können auch die
Option --rebase, --no-rebase oder --ff-only auf der Kommandozeile nutzen,
um das konfigurierte Standardverhalten pro Aufruf zu überschreiben.

remote: Enumerating objects: 17, done.
remote: Counting objects: 100% (17/17), done.
remote: Compressing objects: 100% (12/12), done.
remote: Total 12 (delta 10), reused 0 (delta 0), pack-reused 0
Entpacke Objekte: 100% (12/12), 1.66 KiB | 54.00 KiB/s, Fertig.
Von https://github.com/eclipse/sumo
   46b1d9763e..79ce875def  master     -> origin/master
Aktualisiere 46b1d9763e..79ce875def
Fast-forward
 docs/web/docs/Tutorials.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

Do you have recommendations for the SUMO repository?

Greetings, Harald