make clean did not remove the tag files.
Automated pushing of all repos