From 5ce20dffbff228650e433ab77632c8a5bb1983c4 Mon Sep 17 00:00:00 2001
From: Tiziano Zito <opossumnano@gmail.com>
Date: Mon, 19 Aug 2024 16:15:09 +0200
Subject: [PATCH] add note about getting files from different branches

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/README.md b/README.md
index 1978ffe..2e4865a 100644
--- a/README.md
+++ b/README.md
@@ -28,6 +28,9 @@
 - how to *move* the whole working directory to a specific point in history?
     - `git checkout <commit>` ➔ `DETACHED HEAD` problem, __changes__ __files__
     - interaction with branches: `git branch <branch_name>` + `git switch <branch_name>` 
+- how to copy a file from a different branch:
+    - `git checkout <branch> <file>` ➔ the file is staged automatically
+    - `git restore --source=<branch> <file` ➔ the file is not staged
 - `git gui`: building commits along the way interactively (for the *mess around* type of workflows)
 - check out these [sketches](git-commands-visualizations.pdf) for a graphical visualization of git commands!