From f6005764d747fb48b06a9d1365aa5b9b840e6f22 Mon Sep 17 00:00:00 2001
From: Tim Schumacher <timschumi@gmx.de>
Date: Sat, 17 Sep 2022 00:19:34 +0200
Subject: [PATCH] Ports: Place tags at important points in the commit history

This helps with easier rebasing and for easier comparing or returning to
the state at which the last actual on-disk patches were.
---
 Ports/.port_include.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh
index 4828139e4c..eca27cb3d2 100755
--- a/Ports/.port_include.sh
+++ b/Ports/.port_include.sh
@@ -718,6 +718,7 @@ do_dev() {
             git config core.autocrlf false
             git add --all --force
             git commit -a -m 'Initial import'
+            git tag import
         fi
 
         # Import patches as commits, or ask the user to commit them
@@ -792,6 +793,9 @@ do_dev() {
                 }
             done
         fi
+
+        git tag original
+
         popd
     )