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 6364b3c9b9fae2b43bf3e02b9e84c814fc3f502f (commit) via 98ff92f4675aeab379b9d5ed85e68778e1cc0dfe (commit) from e414173f8984485ff850e1fba0f8cf97cd970064 (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 6364b3c9b9fae2b43bf3e02b9e84c814fc3f502f Author: Jan Alexander Steffens (heftig) jan.steffens@gmail.com Date: Thu May 31 16:05:49 2018 +0200

Version 20180531

commit 98ff92f4675aeab379b9d5ed85e68778e1cc0dfe Author: Eli Schwartz via arch-projects arch-projects@archlinux.org Date: Tue May 29 17:23:10 2018 -0400

makechrootpkg: whitelist return code 14 from makepkg

makepkg 5.1 implements error codes, and 14 means that installing the packages after they were built has failed. We don't care about this error and would like makechrootpkg to succeed regardless, e.g. for split packages that are mutually exclusive.

Signed-off-by: Eli Schwartz eschwartz@archlinux.org

-----------------------------------------------------------------------

Summary of changes: Makefile | 2 +- makechrootpkg.in | 7 +++++++ 2 files changed, 8 insertions(+), 1 deletion(-)

hooks/post-receive