server

Server Configuration
git clone https://git.pngu.org/server
Log | Files | Refs | README

commit 1dc50f2d2ec4bf9925d445867dfa9be91ab7cbff
parent 7612713b4aacce18e7661ef9f1af3a6cf19f7682
Author: Jack Sangdahl <jack@pngu.org>
Date:   Sun,  9 Feb 2025 17:00:08 -0700

Git mirror script

Diffstat:
Afetch_push.sh | 17+++++++++++++++++
1 file changed, 17 insertions(+), 0 deletions(-)

diff --git a/fetch_push.sh b/fetch_push.sh @@ -0,0 +1,17 @@ +#!/bin/bash + +for dir in /home/jack/git_mirror/*; do + if [ -d "$dir" ]; then + cd $dir + if [ -d "refs" ]; then + /usr/bin/git fetch -p origin &> /dev/null + if [ $? -ne 0 ]; then + echo "$dir: fetch failed" | /usr/sbin/sendmail jack@pngu.org + fi + /usr/bin/git push --mirror &> /dev/null + if [ $? -ne 0 ]; then + echo "$dir: push failed" | /usr/sbin/sendmail jack@pngu.org + fi + fi + fi +done