[Armadeus-commitlog] armadeus branch, add-ci, deleted. armadeus-7.0-333-g4b495ca6e

[Sébastien S. <ss...@us...>]

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 "armadeus".

The branch, add-ci has been deleted
       was  4b495ca6ef4fee178b8ee2a40e7db6c32a76d6e0

-----------------------------------------------------------------------
4b495ca6ef4fee178b8ee2a40e7db6c32a76d6e0 Add CI script
-----------------------------------------------------------------------


hooks/post-receive
-- 
armadeus