From c3e4b42c98dd433bbc2f90beeae102a4993c17e5 Mon Sep 17 00:00:00 2001 From: Malfurious Date: Wed, 13 Sep 2023 04:18:16 -0400 Subject: gitolite: Consolidate config files into a single directory The repository is being reworked to decouple its roles as normalmode source and gitolite-admin config. The gitolite-admin repository will be entirely separate. So there is no need to keep the conf or local directories around where they are at. Signed-off-by: Malfurious --- local/triggers/push | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100755 local/triggers/push (limited to 'local/triggers/push') diff --git a/local/triggers/push b/local/triggers/push deleted file mode 100755 index 7a3cb56..0000000 --- a/local/triggers/push +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/sh - -[ "$4" = "W" ] || exit 0 - -cd "$GL_REPO_BASE/$2.git" -head=$(git symbolic-ref HEAD) - -if ! [ -f "$head" ]; then - set -- refs/heads/* - if [ "$#" -eq 1 ]; then - git symbolic-ref HEAD "$1" - echo "NOTICE: Default branch set to $1" >&2 - else - echo "WARNING: The default branch is $head, but no such branch exists" >&2 - fi -fi - -git log -1 --all --date-order --format=%ci >agefile -- cgit v1.2.3