Files
2026-07-13 13:05:14 +08:00

26 lines
910 B
Bash
Executable File

#!/bin/sh
# This script is intended to be called from the git pre-push hook.
# See: hooks/README.md for more details.
# Check if pixi is installed
if ! command -v "pixi" > /dev/null 2>&1; then
echo "The rerun hooks require 'pixi', which is not installed or not in your PATH. Please run: 'cargo install pixi'."
exit 1
fi
while read -r local_ref _local_sha _remote_ref _remote_sha; do
# Extract the branch name from the local reference
branch_name=$(echo "$local_ref" | sed 's/^refs\/heads\///')
# Get the name of the currently active branch
active_branch=$(git symbolic-ref --short HEAD)
# Check if the pushed branch matches the active branch
if [ "$branch_name" = "$active_branch" ]; then
exec pixi run fast-lint "$@"
else
echo "Skipping fast-lint because the pushed branch ($branch_name) does not match the active branch ($active_branch)."
fi
done