1 files changed, 3 insertions, 0 deletions
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