Re: [arch-projects] [devtools] [PATCH v2] makechrootpkg: respect GNUPGHOME

2018-05-31 Thread Bruno Pagani via arch-projects
Le 27/02/2018 à 17:16, Emiel Wiedijk via arch-projects a écrit : > 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

[arch-projects] [devtools] [GIT] The official devtools repository annotated tag 20170824 created. 20170824

2018-05-31 Thread Jan Steffens via arch-projects
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 annotated tag, 20170824 has been created at 97687a9ed53b5f10e6e2768770706cc3e8a02e7e (tag)

[arch-projects] [devtools] [GIT] The official devtools repository branch master updated. 20180528-3-g6364b3c

2018-05-31 Thread Jan Steffens via arch-projects
ow. - Log - commit 6364b3c9b9fae2b43bf3e02b9e84c814fc3f502f Author: Jan Alexander Steffens (heftig) Date: Thu May 31 16:05:49 2018 +0200 Version 20180531 commit 98ff92f4675aeab379b9d5ed85e68778e1cc0dfe Author: Eli Schwartz via arch-projects D