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, heftig has been deleted was eec7fcf965763d5395c336f92cd56b193d054947 - Log ----------------------------------------------------------------- eec7fcf965763d5395c336f92cd56b193d054947 archbuild/makechrootpkg: Delete subvolumes in roots ----------------------------------------------------------------------- hooks/post-receive -- The official devtools repository