Hi Tobias, On Thu, 11 Mar 2021 at 15:42, Tobias Geerinckx-Rice wrote: > * etc/git/pre-push: Exec make in a guix development environment. > --- > The pre-push assumes you have make installed, which I didn't. How do you rebuild Guix before pushing? Cheers, simon