lux/universe
2
0
Fork 0
Code Issues Pull Requests Releases Activity

pin: commit as Zach Kelling, Hanzo Dev as co-author

Browse Source 
Pins were authored by lux-ci <[email protected]>, so every deploy the pipeline
moved stayed off the owner's history. Pinned-by still says whether CI or a
person ran it.

Co-authored-by: Hanzo Dev <[email protected]>
This commit is contained in:
zeekay
2026-09-10 14:34:33 -07:00
co-authored by Hanzo Dev
parent 1233b5c1d4
commit d1e1c5e7e4
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
deploy/pin.sh
+6 -6
View File
@@ -388,15 +388,15 @@ if git -C "$REPO_ROOT" diff --cached --quiet; then
echo "pin: deploy/$VALUES already reads $TAG@$DIGEST at HEAD — nothing to commit"; exit 0
fi
# WHO MOVED THIS PIN. The author is always lux-ci because the rules are the same
# whoever runs them, which made "did CI deploy, or did a person?" unanswerable —
# and that is the question that says whether the automation works. CI sets
# GITHUB_RUN_ID; a person at a terminal does not.
# WHO MOVED THIS PIN. The author is the owner and Hanzo Dev is the co-author,
# whoever runs it, so the author cannot say "did CI deploy, or did a person?" —
# the question that says whether the automation works. CI sets GITHUB_RUN_ID;
# a person at a terminal does not, and Pinned-by records which it was.
PINNED_BY="hand"
[ -n "${GITHUB_RUN_ID:-}" ] && PINNED_BY="ci run ${GITHUB_RUN_ID}"
git -C "$REPO_ROOT" -c user.name="lux-ci" -c user.email="[email protected]" \
commit -m "$SERVICE $CURRENT -> $TAG
git -C "$REPO_ROOT" -c user.name="Zach Kelling" -c user.email="[email protected]" \
commit --trailer "Co-authored-by: Hanzo Dev <[email protected]>" -m "$SERVICE $CURRENT -> $TAG
${REPOSITORY}:${TAG}
${DIGEST}