2017-03-04 21:49:24 +00:00
|
|
|
{ pkgs, ... }:
|
2015-11-09 17:51:26 +00:00
|
|
|
|
2017-03-04 21:49:24 +00:00
|
|
|
with import <stockholm/lib>;
|
2015-11-09 17:51:26 +00:00
|
|
|
|
2017-03-04 21:49:24 +00:00
|
|
|
{
|
2015-11-09 17:51:26 +00:00
|
|
|
# TODO irc-announce should return a derivation
|
2017-03-04 21:49:24 +00:00
|
|
|
# but it cannot because krebs.git.repos.*.hooks :: attrsOf str
|
2017-06-19 21:00:00 +00:00
|
|
|
irc-announce =
|
2018-09-06 21:02:56 +00:00
|
|
|
{ cgit_endpoint ? "http://cgit.${nick}.r"
|
2017-06-19 21:00:00 +00:00
|
|
|
, channel
|
|
|
|
, nick
|
|
|
|
, port ? 6667
|
2018-09-06 21:02:56 +00:00
|
|
|
, refs ? []
|
2017-06-19 21:00:00 +00:00
|
|
|
, server
|
2021-09-05 20:51:37 +00:00
|
|
|
, tls ? false
|
2017-06-19 21:00:00 +00:00
|
|
|
, verbose ? false
|
|
|
|
}: /* sh */ ''
|
2015-11-09 17:51:26 +00:00
|
|
|
#! /bin/sh
|
|
|
|
set -euf
|
|
|
|
|
2016-03-03 18:45:46 +00:00
|
|
|
export PATH=${makeBinPath (with pkgs; [
|
2015-11-09 17:51:26 +00:00
|
|
|
coreutils
|
|
|
|
git
|
2016-06-26 17:20:11 +00:00
|
|
|
gnugrep
|
2015-11-09 17:51:26 +00:00
|
|
|
gnused
|
|
|
|
])}
|
|
|
|
|
|
|
|
green() { printf '\x0303,99%s\x0F' "$1"; }
|
|
|
|
red() { printf '\x0304,99%s\x0F' "$1"; }
|
|
|
|
orange() { printf '\x0307,99%s\x0F' "$1"; }
|
|
|
|
pink() { printf '\x0313,99%s\x0F' "$1"; }
|
|
|
|
gray() { printf '\x0314,99%s\x0F' "$1"; }
|
|
|
|
|
|
|
|
unset message
|
|
|
|
add_message() {
|
|
|
|
message="''${message+$message
|
|
|
|
}$*"
|
|
|
|
}
|
|
|
|
|
|
|
|
nick=${escapeShellArg nick}
|
|
|
|
channel=${escapeShellArg channel}
|
|
|
|
server=${escapeShellArg server}
|
2021-09-05 20:51:37 +00:00
|
|
|
tls=${escapeShellArg tls}
|
2015-11-09 17:51:26 +00:00
|
|
|
port=${toString port}
|
|
|
|
|
|
|
|
host=$nick
|
|
|
|
|
|
|
|
empty=0000000000000000000000000000000000000000
|
|
|
|
|
|
|
|
while read oldrev newrev ref; do
|
|
|
|
|
|
|
|
if [ $oldrev = $empty ]; then
|
|
|
|
receive_mode=create
|
|
|
|
elif [ $newrev = $empty ]; then
|
|
|
|
receive_mode=delete
|
|
|
|
elif [ "$(git merge-base $oldrev $newrev)" = $oldrev ]; then
|
|
|
|
receive_mode=fast-forward
|
|
|
|
else
|
|
|
|
receive_mode=non-fast-forward
|
|
|
|
fi
|
|
|
|
|
2018-09-06 21:02:56 +00:00
|
|
|
${optionalString (refs != []) ''
|
|
|
|
if ! { echo "$ref" | grep -qE "${concatStringsSep "|" refs}"; }; then
|
|
|
|
echo "we are not announcing this ref: $h"
|
2016-06-26 17:20:11 +00:00
|
|
|
exit 0
|
|
|
|
fi
|
|
|
|
''}
|
2018-09-06 21:02:56 +00:00
|
|
|
|
|
|
|
h=$(echo $ref | sed 's:^refs/heads/::')
|
|
|
|
|
2015-11-09 17:51:26 +00:00
|
|
|
# empty_tree=$(git hash-object -t tree /dev/null)
|
|
|
|
empty_tree=4b825dc6
|
|
|
|
|
|
|
|
id=$(echo $newrev | cut -b-7)
|
|
|
|
id2=$(echo $oldrev | cut -b-7)
|
|
|
|
if [ $newrev = $empty ]; then id=$empty_tree; fi
|
|
|
|
if [ $oldrev = $empty ]; then id2=$empty_tree; fi
|
|
|
|
|
2017-06-19 21:00:00 +00:00
|
|
|
${if cgit_endpoint != null then /* sh */ ''
|
|
|
|
cgit_endpoint=${escapeShellArg cgit_endpoint}
|
|
|
|
case $receive_mode in
|
|
|
|
create)
|
|
|
|
link="$cgit_endpoint/$GIT_SSH_REPO/?h=$h"
|
|
|
|
;;
|
|
|
|
delete)
|
|
|
|
link="$cgit_endpoint/$GIT_SSH_REPO/ ($h)"
|
|
|
|
;;
|
|
|
|
fast-forward|non-fast-forward)
|
|
|
|
link="$cgit_endpoint/$GIT_SSH_REPO/diff/?h=$h&id=$id&id2=$id2"
|
|
|
|
;;
|
|
|
|
esac
|
|
|
|
'' else /* sh */ ''
|
|
|
|
link="$GIT_SSH_REPO $h"
|
|
|
|
''}
|
2015-11-09 17:51:26 +00:00
|
|
|
|
|
|
|
#$host $GIT_SSH_REPO $ref $link
|
|
|
|
add_message $(pink push) $link $(gray "($receive_mode)")
|
|
|
|
|
2017-06-19 21:00:00 +00:00
|
|
|
${optionalString verbose /* sh */ ''
|
2015-11-09 17:51:26 +00:00
|
|
|
add_message "$(
|
|
|
|
git log \
|
|
|
|
--format="$(orange %h) %s $(gray '(%ar)')" \
|
|
|
|
--reverse \
|
|
|
|
$id2..$id
|
|
|
|
|
|
|
|
git diff --stat $id2..$id \
|
|
|
|
| sed '$!s/\(+*\)\(-*\)$/'$(green '\1')$(red '\2')'/'
|
|
|
|
)"
|
|
|
|
''}
|
|
|
|
|
|
|
|
done
|
|
|
|
|
|
|
|
if test -n "''${message-}"; then
|
2017-03-04 21:49:24 +00:00
|
|
|
exec ${pkgs.irc-announce}/bin/irc-announce \
|
2015-11-09 17:51:26 +00:00
|
|
|
"$server" \
|
|
|
|
"$port" \
|
|
|
|
"$nick" \
|
|
|
|
"$channel" \
|
2021-09-10 07:30:46 +00:00
|
|
|
"$tls" \
|
2015-11-09 17:51:26 +00:00
|
|
|
"$message"
|
|
|
|
fi
|
|
|
|
'';
|
2017-03-04 21:49:24 +00:00
|
|
|
}
|