[arch-projects] [devtools] [GIT] The official devtools repository tag 20160527.1 deleted. 20151129-6-g882f5d0

[Sven-Hendrik Haase]

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 tag, 20160527.1 has been deleted
       was  882f5d04516680b60c0da85c51fd6191c77b38ab

- Log -----------------------------------------------------------------
882f5d04516680b60c0da85c51fd6191c77b38ab mkarchroot: Manually generate machine-id because nspawn expects it
-----------------------------------------------------------------------


hooks/post-receive
-- 
The official devtools repository