diff options
| author | adisbladis <adisbladis@gmail.com> | 2019-08-13 22:13:53 +0100 |
|---|---|---|
| committer | adisbladis <adisbladis@gmail.com> | 2019-08-13 23:33:01 +0100 |
| commit | 65699a664ad890550b6eeede5f3fbeb79c77f83d (patch) | |
| tree | 9e4164fcd1e28cd1ca0d441a93df172ee7a3585d /.ci | |
| parent | aa1d14d8c2fe9570102f94b44f4bad41b906f7b4 (diff) | |
| download | nixlib-65699a664ad890550b6eeede5f3fbeb79c77f83d.tar nixlib-65699a664ad890550b6eeede5f3fbeb79c77f83d.tar.gz nixlib-65699a664ad890550b6eeede5f3fbeb79c77f83d.tar.bz2 nixlib-65699a664ad890550b6eeede5f3fbeb79c77f83d.tar.lz nixlib-65699a664ad890550b6eeede5f3fbeb79c77f83d.tar.xz nixlib-65699a664ad890550b6eeede5f3fbeb79c77f83d.tar.zst nixlib-65699a664ad890550b6eeede5f3fbeb79c77f83d.zip | |
Migrate repo to new nix-community layout
Diffstat (limited to '.ci')
| -rwxr-xr-x | .ci/cron | 15 | ||||
| -rw-r--r-- | .ci/exwm-overlay-key.enc | bin | 0 -> 432 bytes | |||
| -rw-r--r-- | .ci/exwm-overlay-key.pub | 1 | ||||
| -rwxr-xr-x | .ci/push | 15 |
4 files changed, 31 insertions, 0 deletions
diff --git a/.ci/cron b/.ci/cron new file mode 100755 index 000000000000..be1ffa9c80c4 --- /dev/null +++ b/.ci/cron @@ -0,0 +1,15 @@ +#!/usr/bin/env bash +# Note: This script is executed from git root +set -exuo pipefail + +export HOME=$(mktemp -d) +function finish { + rm -rf $HOME +} +trap finish EXIT + +nix-shell -p git --run 'git config --global user.name "emacs-overlay"' +nix-shell -p git --run 'git config --global user.email "emacs-overlay@nix-community"' + +./update +./.ci/push diff --git a/.ci/exwm-overlay-key.enc b/.ci/exwm-overlay-key.enc new file mode 100644 index 000000000000..6c91a76489dc --- /dev/null +++ b/.ci/exwm-overlay-key.enc Binary files differdiff --git a/.ci/exwm-overlay-key.pub b/.ci/exwm-overlay-key.pub new file mode 100644 index 000000000000..423de9c8a01c --- /dev/null +++ b/.ci/exwm-overlay-key.pub @@ -0,0 +1 @@ +ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIIJIKt9dZ5Z3CcIN0XU61Bmrbm4TXPZ54Gwe3U66rH5m exwm-overlay-key diff --git a/.ci/push b/.ci/push new file mode 100755 index 000000000000..64f09d384f06 --- /dev/null +++ b/.ci/push @@ -0,0 +1,15 @@ +#!/usr/bin/env nix-shell +#! nix-shell -i bash -p openssl git openssh +set -euo pipefail + +# Note: This script is executed from git root + +export TMP_PLAIN=$(mktemp) +function finish { + rm -rf $TMP_PLAIN +} +trap finish EXIT + +openssl enc -aes-256-cbc -d -in ./.ci/exwm-overlay-key.enc -out $TMP_PLAIN -k $SSH_KEY_PASSPHRASE + +git push origin master |