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 6da90b2028da0bc504be7ff60873dd2719818a1e (commit)
via ab3368f06182cc3f11f672e63ad18f174ba58e02 (commit)
from 38c7a391b043547b946a99731a56a233458ba7a2 (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 6da90b2028da0bc504be7ff60873dd2719818a1e
Author: Emiel Wiedijk via arch-projects
Date: Tue Feb 27 11:16:24 2018 -0500
makechrootpkg: respect GNUPGHOME
Previously, makechrootpkg hardcoded ~/.gnupg. Therefore, if a user
uses a custom GPG home directory, the siganture checking would fail.
Now makechrootpkg uses $GNUPGHOME, with a fallback to ~/.gnupg.
Signed-off-by: Emiel Wiedijk
commit ab3368f06182cc3f11f672e63ad18f174ba58e02
Author: Bartłomiej Piotrowski
Date: Sat Mar 24 20:35:09 2018 +0100
Remove corepkg symlink
While still possible with 'commitpkg core', there is a chance it will
prevent accidental pushes straight to [core].
-----------------------------------------------------------------------
Summary of changes:
Makefile | 1 -
makechrootpkg.in | 5 +++--
2 files changed, 3 insertions(+), 3 deletions(-)
hooks/post-receive
--
The official devtools repository