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, nymeria has been deleted was 21458bd07b06e35b9b4ad6495440b9a0c4bbd345 - Log ----------------------------------------------------------------- 21458bd07b06e35b9b4ad6495440b9a0c4bbd345 For now only packages and svn from sigurd will be moved to nymeria ----------------------------------------------------------------------- hooks/post-receive -- The official devtools repository