diff options
author | Ray Strode <rstrode@redhat.com> | 2016-12-06 02:43:42 +0000 |
---|---|---|
committer | Ray Strode <rstrode@redhat.com> | 2016-12-06 02:57:36 +0000 |
commit | ba5b6717156e000c5fad6353ea83823380e7c797 (patch) | |
tree | 413cc4315a5ce0c19d1194c5cb8b490870313c2b /github-mirror.service | |
parent | b0f97fdd289794cd188556c713a551bc740ac2e7 (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.service | 9 |
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 |