summaryrefslogtreecommitdiff
path: root/github-mirror.service
diff options
context:
space:
mode:
authorRay Strode <rstrode@redhat.com>2016-12-06 02:43:42 +0000
committerRay Strode <rstrode@redhat.com>2016-12-06 02:57:36 +0000
commitba5b6717156e000c5fad6353ea83823380e7c797 (patch)
tree413cc4315a5ce0c19d1194c5cb8b490870313c2b /github-mirror.service
parentb0f97fdd289794cd188556c713a551bc740ac2e7 (diff)
do github mirroring from dedicated user
It's too iffy and fragile to have a private key shared between multiple users. This commit cobbles together a systemd service to farm off the syncing to a dedicated github user.
Diffstat (limited to 'github-mirror.service')
-rw-r--r--github-mirror.service9
1 files changed, 9 insertions, 0 deletions
diff --git a/github-mirror.service b/github-mirror.service
new file mode 100644
index 0000000..581a877
--- /dev/null
+++ b/github-mirror.service
@@ -0,0 +1,9 @@
+[Unit]
+Description=mirror /git to github
+
+[Service]
+User=github-mirror
+Sockets=github-mirror.socket
+ExecStart=/git/bin/github-mirror
+PIDFile=/run/github-mirror/pid
+Type=forking