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 75fdff1811a0487f82c75b2e260da905102b4eea (commit) via 0cbc179d212d7a26f8c6c2dcd589726cc20d1022 (commit) via a8f512a665f294657279c6823ff23887dd41a8d5 (commit) from 086ff8b9e7cc5a5cb57d230039a28354fe3f62f8 (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 75fdff1811a0487f82c75b2e260da905102b4eea Author: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> Date: Thu Jul 13 19:43:52 2017 +0200 makechrootpkg: Skip integrity checks inside the chroot We've already done these during download_sources(). commit 0cbc179d212d7a26f8c6c2dcd589726cc20d1022 Author: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> Date: Thu Jul 13 19:42:01 2017 +0200 makechrootpkg: Use long args for makepkg Slightly more verbose, but also more understandable. commit a8f512a665f294657279c6823ff23887dd41a8d5 Author: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> Date: Thu Jul 13 19:37:15 2017 +0200 makechrootpkg: Move makepkg-as-root check to main() download_sources(), while the first invocation of makepkg, is a rather odd place for this kind of guard. ----------------------------------------------------------------------- Summary of changes: makechrootpkg.in | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) hooks/post-receive -- The official devtools repository