diff options
author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2025-05-27 10:59:30 +0900 |
---|---|---|
committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2025-05-27 11:05:49 +0900 |
commit | c24b8fadad74c1a54f0454aad82ac3149c897716 (patch) | |
tree | 5027a9b7c48de7f573264f6979ad620fa2ffe0a8 /etc | |
parent | 2e699377e9450e39e4744e96660027924e52bd13 (diff) |
etc: Untabify pre-push hook.
There was a mix of spaces and tabs in the file, even confusing Emacs's
dtrt-indent-mode.
* etc/git/pre-push: Untabify.
Change-Id: I2548a3901c5064c649a8f6bb786d606b6155fcfb
Diffstat (limited to 'etc')
-rwxr-xr-x | etc/git/pre-push | 48 |
1 files changed, 24 insertions, 24 deletions
diff --git a/etc/git/pre-push b/etc/git/pre-push index 3ec451fdfd..64d6903ae4 100755 --- a/etc/git/pre-push +++ b/etc/git/pre-push @@ -25,31 +25,31 @@ z40=0000000000000000000000000000000000000000 while read local_ref local_hash remote_ref remote_hash do - # When deleting a remote branch, no commits are pushed to the remote, and - # thus there are no signatures to be verified. - if [ "$local_hash" != $z40 ] - then - # Skip the hook when performing a pull-request. - case "$remote_ref" in - refs/for/*) - exit 0 - ;; - esac + # When deleting a remote branch, no commits are pushed to the remote, and + # thus there are no signatures to be verified. + if [ "$local_hash" != $z40 ] + then + # Skip the hook when performing a pull-request. + case "$remote_ref" in + refs/for/*) + exit 0 + ;; + esac - # Only use the hook when pushing to upstream. - case "$2" in - *.gnu.org*) ;& - *codeberg.org/guix/*) - set -e - guix git authenticate - exec make check-channel-news - exit 127 - ;; - *) - exit 0 - ;; - esac - fi + # Only use the hook when pushing to upstream. + case "$2" in + *.gnu.org*) ;& + *codeberg.org/guix/*) + set -e + guix git authenticate + exec make check-channel-news + exit 127 + ;; + *) + exit 0 + ;; + esac + fi done exit 0 |