From f128c9861e5f42a47e5f2a7fad7d1376fb105010 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Fri, 6 Aug 2021 16:29:08 -0300
Subject: TODOs.md: Add #task-a0644009-70d7-56ff-c595-ea39fe24dc2b

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

diff --git a/TODOs.md b/TODOs.md
index 37cd8e7..d0ccb46 100644
--- a/TODOs.md
+++ b/TODOs.md
@@ -1,5 +1,8 @@
 # Tasks
 
+## TODO `installcheck.sh`: Run `make all check` in a different directory, without the Git repository {#task-a0644009-70d7-56ff-c595-ea39fe24dc2b}
+- TODO in 2021-08-06
+
 ## TODO Run "check" in `installcheck` target {#task-db34da8d-bf61-43ae-b8f0-f2299834a937}
 - TODO in 2021-08-02
 
-- 
cgit v1.2.3