should we track the tags file in git repository?