git ignore the tags file