aboutsummaryrefslogtreecommitdiff
path: root/TODOs.md
diff options
context:
space:
mode:
Diffstat (limited to 'TODOs.md')
-rw-r--r--TODOs.md9
1 files changed, 8 insertions, 1 deletions
diff --git a/TODOs.md b/TODOs.md
index 04577ad..a82483a 100644
--- a/TODOs.md
+++ b/TODOs.md
@@ -107,7 +107,14 @@ Benchmark on (stagit):
# Questions
-## TODO How to embed repositories without using submodules {#question-5414aee2-031a-5759-2a22-d572ee899ac0}
+## DONE How to embed repositories without using submodules {#question-5414aee2-031a-5759-2a22-d572ee899ac0}
+- DONE in 2021-08-04
+
+ By using a special `.gitdir` directory on the embedded repositories, the toplevel repository
+ can remain unchanged and include those.
+
+ Done in
+ [`252430e9ea5996c21c1fe24de623f458a24edbb7`](https://git.euandreh.xyz/gistatic/commit/?id=252430e9ea5996c21c1fe24de623f458a24edbb7).
- TODO in 2021-07-31
---