Port CI over to Gitlab CI from Buildkite

Buildkite never worked properly for whatever reason and I'm tired of debugging

2 files changed, 7 insertions, 14 deletions

diff --git a/.ci/cron b/.ci/cron
index a3c4746f110a..39b5cb893dbc 100755
--- a/.ci/cron
+++ b/.ci/cron
@@ -1,18 +1,11 @@
-#!/usr/bin/env bash
+#!/bin/sh
 # Note: This script is executed from git root
-set -exuo pipefail
+export NIX_PATH=nixpkgs=https://github.com/NixOS/nixpkgs/archive/master.tar.gz
 
-git checkout master
-git reset --hard origin/master
-git pull --rebase origin master
-
-export NIX_PATH=nixpkgs=https://github.com/NixOS/nixpkgs-channels/archive/nixos-unstable.tar.gz
-
-export HOME=$(mktemp -d)
-function finish {
-    rm -rf $HOME
-}
-trap finish EXIT
+if [ $CI_PIPELINE_SOURCE != "schedule" ] && [ $CI_PIPELINE_SOURCE != "web" ]; then
+    echo "Only scheduled or manual jobs will run"
+    exit 1
+fi
 
 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"'
diff --git a/.ci/push b/.ci/push
index 42fb2a47984c..d2a5e42942d0 100755
--- a/.ci/push
+++ b/.ci/push
@@ -11,4 +11,4 @@ function finish {
 trap finish EXIT
 
 openssl enc -aes-256-cbc -d -in ./.ci/exwm-overlay-key.enc -out $TMP_PLAIN -k $SSH_KEY_PASSPHRASE
-ssh-agent bash -c "ssh-add $TMP_PLAIN && git push origin master"
+ssh-agent bash -c "ssh-add $TMP_PLAIN && git push origin HEAD:master"