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

Previous Next

Package: guix-patches;

Reported by: Tobias Geerinckx-Rice <me <at> tobias.gr>

Date: Thu, 11 Mar 2021 14:43:03 UTC

Severity: normal

Tags: patch

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Tobias Geerinckx-Rice <me <at> tobias.gr>
Subject: bug#47069: Acknowledgement ([PATCH] etc: Run pre-push make in
 guix environment.)
Date: Thu, 11 Mar 2021 14:43:03 +0000
Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 guix-patches <at> gnu.org

If you wish to submit further information on this problem, please
send it to 47069 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs <at> gnu.org unless you wish
to report a problem with the Bug-tracking system.

-- 
47069: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=47069
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems


This bug report was last modified 4 years and 142 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.