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, devtools7 has been created at 0d77d2ada52ca694783ce68187cbbb5e40c2015c (commit) - Log ----------------------------------------------------------------- commit 0d77d2ada52ca694783ce68187cbbb5e40c2015c Author: Jelle van der Waa Date: Tue Mar 12 22:40:38 2019 +0100 Add devtools.7 man page Signed-off-by: Jelle van der Waa ----------------------------------------------------------------------- hooks/post-receive -- The official devtools repository