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 /signal-github-mirror | |
| 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 'signal-github-mirror')
| -rwxr-xr-x | signal-github-mirror | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/signal-github-mirror b/signal-github-mirror new file mode 100755 index 0000000..3f259bb --- /dev/null +++ b/signal-github-mirror @@ -0,0 +1 @@ +echo "$PWD" > /run/github-mirror/named-pipe |