From 248254dab53fb13a4e9415bcb033b53702ecf814 Mon Sep 17 00:00:00 2001
From: Marcello Lamonaca <marcello@lamonaca.eu>
Date: Fri, 8 Sep 2023 09:52:05 +0200
Subject: [PATCH] feat(git): add `git log` range syntax

---
 docs/tools/git/git.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/docs/tools/git/git.md b/docs/tools/git/git.md
index 1496fb5..5f61e1a 100644
--- a/docs/tools/git/git.md
+++ b/docs/tools/git/git.md
@@ -167,6 +167,13 @@ def load_reference(name_or_id):
 `git log --follow <file>`: list version history fo file, including renames  
 `git log --all --graph --decorate`: visualizes history as a DAG  
 `git log  --oneline`: compact log  
+`git log <rev>`: Include commits that are reachable from `<rev>`  
+`git log ^<rev>`: Exclude commits that are reachable from `<rev>`  
+`git log <rev1>..<rev2>`: Include commits that are reachable from `<rev2>` but exclude those that are reachable from `<rev1>`. 
+When either `<rev1>` or `<rev2>` is omitted, it defaults to HEAD.  
+`git log <rev1>...<rev2>`: Include commits that are reachable from either `<rev1>` or `<rev2>` but exclude those that are reachable from both. When either `<rev1>` or `<rev2>` is omitted, it defaults to HEAD.  
+`git log <rev>^@`: Include anything reachable from `<rev>` parents but not the commit itself
+
 
 `git shortlog`: list commits by author  
 `git reflog`: show record of when the tips of branches and other references were updated in the local repository