This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "The official devtools repository".
The branch, master has been updated
via 76dec8507e2e767db07f967644ed8958f85cd5a2 (commit)
from 9727b684e60c56775ef071be3707059b1d1518e1 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 76dec8507e2e767db07f967644ed8958f85cd5a2
Author: Jan Alexander Steffens (heftig) <jan.steffens(a)gmail.com>
Date: Sat Oct 8 14:41:12 2016 +0200
makechrootpkg: Reset environment for builduser
The gnustep-base package ships a profile.d script that adds
"$HOME/GNUstep/Tools" to the PATH, which breaks when the user changes
and causes meson to exit with a "permission denied" error.
-----------------------------------------------------------------------
Summary of changes:
makechrootpkg.in | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
hooks/post-receive
--
The official devtools repository