Add basic Git hosting

diff --git a/infrastructure/roles/git/README.md b/infrastructure/roles/git/README.md
new file mode 100644 (file)
index 0000000..ca32c99
--- /dev/null
+++ b/infrastructure/roles/git/README.md
@@ -0,0 +1,19 @@
+# git
+
+## Create a repository
+
+On the server:
+
+```
+mkdir -p ~/git
+cd ~/git
+git init --bare $REPO
+```
+
+## Push an existing repository
+
+```
+git remote add $REMOTE_NAME $SERVER:git/$REPO
+git push $REMOTE_NAME main
+```
+

diff --git a/infrastructure/roles/git/tasks/main.yaml b/infrastructure/roles/git/tasks/main.yaml
new file mode 100644 (file)
index 0000000..79fad63
--- /dev/null
+++ b/infrastructure/roles/git/tasks/main.yaml
@@ -0,0 +1,3 @@
+- name: install git
+  ansible.builtin.package:
+    name: git

diff --git a/infrastructure/site.yaml b/infrastructure/site.yaml
index 9febc362a125b1b9066e59ca671cec10b8b4d8d1..96e7048a6f871faa807a481db54604573f42bc7d 100644 (file)
--- a/infrastructure/site.yaml
+++ b/infrastructure/site.yaml
@@ -3,4 +3,4 @@
   roles:
     - users
     - motd
-
+    - git