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 "Official repo DB scripts".
The branch, pacman-git has been deleted
was 2c68135f4ab9db048db460bc949322ad7bb418eb
- Log -----------------------------------------------------------------
2c68135f4ab9db048db460bc949322ad7bb418eb pacman 5.1 compatibility
-----------------------------------------------------------------------
hooks/post-receive
--
Official repo DB scripts
