The sound distributed version control system

Removing the now useless --tag option in pull

Created by  pmeunier  on January 9, 2022
EG7P7GKKSXT3F6UOEBTW6KC335YIND5L3YPL7TRRNBLIKA3YVIJQC
Change contents