From d93107e3325bc545246f21dcbb06efe8a118ce3e Mon Sep 17 00:00:00 2001
From: Patrick Georgi <patrick@georgi.software>
Date: Fri, 29 Oct 2021 20:54:39 +0200
Subject: [PATCH] Ignore "repo", the default name for the git repo

---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 993c3d7..555c08e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
-gerritcp
\ No newline at end of file
+gerritcp
+repo
\ No newline at end of file