[bug#47069] [PATCH] etc: Run pre-push make in guix environment.

[Tobias Geerinckx-Rice]

* etc/git/pre-push: Exec make in a guix development environment.
---

Guix,

The pre-push assumes you have make installed, which I didn't.

Now it assumes that Guix developers have a vaguely up-to-date guix
command, which seems reasonable.

Kind regards,

T G-R

 etc/git/pre-push | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/git/pre-push b/etc/git/pre-push
index 59671b0d58..372c7dece0 100755
--- a/etc/git/pre-push
+++ b/etc/git/pre-push
@@ -32,7 +32,7 @@ do
                # Only use the hook when pushing to Savannah.
                case "$2" in
                    *.gnu.org*)
-                       exec make authenticate check-channel-news
+                       exec guix environment guix -- make authenticate 
check-channel-news
                        exit 127
                        ;;
                    *)
-- 
2.30.1