Track of git tags and save them to reproduce minimum shallow repository Closes #487 See merge request !906
mentioned in issue #805 (closed)