diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2022-12-07 09:52:55 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2022-12-07 09:53:22 -0700 |
commit | 56b9d113e8bfda7c8a1e99346d05da4c74847a48 (patch) | |
tree | bcd6c508d14c7892d8d8f586be9ccd52fd7d2567 /lib-src | |
parent | b9b15f3f18d6c8733341bcbfcfc47c8443a2ef91 (diff) | |
download | dotfiles-56b9d113e8bfda7c8a1e99346d05da4c74847a48.tar.gz |
factor out git-verify-commit-spw
Diffstat (limited to 'lib-src')
-rw-r--r-- | lib-src/mr/config | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib-src/mr/config b/lib-src/mr/config index b06b1189..84ff1e35 100644 --- a/lib-src/mr/config +++ b/lib-src/mr/config @@ -107,8 +107,7 @@ pull = git dotfiles-update-master; git co "$hostname" && git rebase master # Attempt to ensure tip of master is signed before attempting to push. pre_push = if git diff-index --quiet --cached HEAD \ - && ! git verify-commit-by-fp \ - 8DC2487E51ABDD90B5C4753F0F56D0553B6D411B master; then + && ! git verify-commit-spw master; then [ "$(git rev-parse --abbrev-ref HEAD)" = master ] || git co master git commit -S --amend --no-edit if git rev-parse -q --verify refs/heads/"$hostname" >/dev/null; then |