diff options
Diffstat (limited to 'lib-src/mr/config')
| -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 |