Skip to content

Referring repos with their git-dir instead of their work-tree.#614

Merged
Murmele merged 7 commits intoMurmele:masterfrom ysalmon:betterHistoryNov 20, 2023