From 20c4ab362487989b88c29981232b6e78fe793f7f Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Tue, 21 Jul 2026 11:21:12 +0200
Subject: Replace server-git service with a similar application-haskell

---
 server/server-git-log/consumer-for       | 1 -
 server/server-git-log/dependencies       | 4 ----
 server/server-git-log/notification-fd    | 1 -
 server/server-git-log/pipeline-name      | 1 -
 server/server-git-log/run                | 5 -----
 server/server-git-log/type               | 1 -
 server/server-git-srv/dependencies       | 2 --
 server/server-git-srv/env/GITEA_WORK_DIR | 1 -
 server/server-git-srv/env/HOME           | 1 -
 server/server-git-srv/producer-for       | 1 -
 server/server-git-srv/run                | 6 ------
 server/server-git-srv/type               | 1 -
 12 files changed, 25 deletions(-)
 delete mode 100644 server/server-git-log/consumer-for
 delete mode 100644 server/server-git-log/dependencies
 delete mode 100644 server/server-git-log/notification-fd
 delete mode 100644 server/server-git-log/pipeline-name
 delete mode 100644 server/server-git-log/run
 delete mode 100644 server/server-git-log/type
 delete mode 100644 server/server-git-srv/dependencies
 delete mode 100644 server/server-git-srv/env/GITEA_WORK_DIR
 delete mode 100644 server/server-git-srv/env/HOME
 delete mode 100644 server/server-git-srv/producer-for
 delete mode 100644 server/server-git-srv/run
 delete mode 100644 server/server-git-srv/type

(limited to 'server')

diff --git a/server/server-git-log/consumer-for b/server/server-git-log/consumer-for
deleted file mode 100644
index 8511fb6..0000000
--- a/server/server-git-log/consumer-for
+++ /dev/null
@@ -1 +0,0 @@
-server-git-srv
diff --git a/server/server-git-log/dependencies b/server/server-git-log/dependencies
deleted file mode 100644
index dc2488d..0000000
--- a/server/server-git-log/dependencies
+++ /dev/null
@@ -1,4 +0,0 @@
-# Comment out remount-root and uncomment local-fs
-# if you use separate partition for /var/log
-remount-root
-#local-fs
diff --git a/server/server-git-log/notification-fd b/server/server-git-log/notification-fd
deleted file mode 100644
index 00750ed..0000000
--- a/server/server-git-log/notification-fd
+++ /dev/null
@@ -1 +0,0 @@
-3
diff --git a/server/server-git-log/pipeline-name b/server/server-git-log/pipeline-name
deleted file mode 100644
index ff8edc9..0000000
--- a/server/server-git-log/pipeline-name
+++ /dev/null
@@ -1 +0,0 @@
-server-git
diff --git a/server/server-git-log/run b/server/server-git-log/run
deleted file mode 100644
index 938ae23..0000000
--- a/server/server-git-log/run
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/execlineb -P
-
-s6-setuidgid git
-exec -c
-s6-log -d3 -- T /srv/httpd/server/git/log
diff --git a/server/server-git-log/type b/server/server-git-log/type
deleted file mode 100644
index 5883cff..0000000
--- a/server/server-git-log/type
+++ /dev/null
@@ -1 +0,0 @@
-longrun
diff --git a/server/server-git-srv/dependencies b/server/server-git-srv/dependencies
deleted file mode 100644
index ae0ae20..0000000
--- a/server/server-git-srv/dependencies
+++ /dev/null
@@ -1,2 +0,0 @@
-postgresql
-redis-instances
diff --git a/server/server-git-srv/env/GITEA_WORK_DIR b/server/server-git-srv/env/GITEA_WORK_DIR
deleted file mode 100644
index 7e6be61..0000000
--- a/server/server-git-srv/env/GITEA_WORK_DIR
+++ /dev/null
@@ -1 +0,0 @@
-/srv/httpd/server/git/
diff --git a/server/server-git-srv/env/HOME b/server/server-git-srv/env/HOME
deleted file mode 100644
index f9fc8e3..0000000
--- a/server/server-git-srv/env/HOME
+++ /dev/null
@@ -1 +0,0 @@
-/srv/git
diff --git a/server/server-git-srv/producer-for b/server/server-git-srv/producer-for
deleted file mode 100644
index 9524b53..0000000
--- a/server/server-git-srv/producer-for
+++ /dev/null
@@ -1 +0,0 @@
-server-git-log
diff --git a/server/server-git-srv/run b/server/server-git-srv/run
deleted file mode 100644
index 29d368e..0000000
--- a/server/server-git-srv/run
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/execlineb -P
-
-fdmove -c 2 1
-s6-setuidgid git
-s6-envdir env
-/srv/httpd/server/git/bin/gitea web --config /srv/httpd/server/git/etc/app.ini -p 3001
diff --git a/server/server-git-srv/type b/server/server-git-srv/type
deleted file mode 100644
index 5883cff..0000000
--- a/server/server-git-srv/type
+++ /dev/null
@@ -1 +0,0 @@
-longrun
-- 
cgit v1.2.3