extra: Git -> git

(cherry picked from commit e968ebd8565a140b8fe7af3c035c16a219fd2b9e)
drupol · Jul 15, 2024 · fe88738 · fe88738
1 parent e404f15
commit fe88738
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/thesis/extra.typ b/src/thesis/extra.typ
@@ -3,9 +3,9 @@
 #heading("Open Source", level: 1, outlined: false)
 
 This master thesis has been developed exclusively using open-source tools.
-Similar to an open-source project, it was maintained in a private Git repository
-#cite(<PolMasterThesis>, form:"normal"). That repository will be made public
-after the oral defense and necessary internal cleanup. Automated and
+Similar to an open-source project, it was maintained in a private `git`
+repository #cite(<PolMasterThesis>, form:"normal"). That repository will be made
+public after the oral defense and necessary internal cleanup. Automated and
 reproducible builds were managed via GitHub Actions
 #cite(<ghActions>,form:"normal"), ensuring that a new compiled version was
 published at each commit to the project. Additionally, I'm planning to publish