From 55c46ecce2478c88e5213bcd3a0d441aef200507 Mon Sep 17 00:00:00 2001
From: fpi
Date: Tue, 14 Jul 2020 16:50:25 +0200
Subject: Make git ignore *.patch files

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 12e29f7..f757d17 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
-tangle/*
\ No newline at end of file
+tangle/*
+*.patch
\ No newline at end of file
-- 
cgit v1.2.3


From 71194e54cd50a20d6d1dbe7e883e5a07ec6150e2 Mon Sep 17 00:00:00 2001
From: fpi
Date: Mon, 27 Jul 2020 10:11:25 +0200
Subject: Add experimental way to reduce amount of tangling

Works by saving the git commit hash upon tangling.

Currently this does not record if tangling fails for some reason.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index f757d17..0aca97e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 tangle/*
+hash/*
 *.patch
\ No newline at end of file
-- 
cgit v1.2.3