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 321e998020cfdb337c1ebc1ac41f5e729b9e276c (commit) via c86823a2d4a4152c71faa1c3bab227756232996f (commit) from a49f55cbed51c815a9392c9f7fff5f8cec385935 (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 321e998020cfdb337c1ebc1ac41f5e729b9e276c Author: Erich Eckner git@eckner.net Date: Tue Apr 2 09:32:43 2019 +0200

fix whitespace/indentation errors

Some lines are indented by spaces, while adjacent lines are indentet by tabs. We should use tabs on both.

Signed-off-by: Erich Eckner git@eckner.net

commit c86823a2d4a4152c71faa1c3bab227756232996f Author: Erich Eckner git@eckner.net Date: Wed Apr 17 13:16:36 2019 +0200

is_same_fs() in lib/archroot.sh should use $1 and $2, not $1 and $1

The old behaviour would always evaluate to true - this is certainly not what that function should do.

Signed-off-by: Erich Eckner git@eckner.net

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

Summary of changes: archbuild.in | 2 +- find-libdeps.in | 2 +- lib/archroot.sh | 2 +- mkarchroot.in | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-)

hooks/post-receive