Add support for repository tags#6116

Merged

pkriens merged 13 commits intobndtools:masterfrom

chrisrueger:add-repository-tags

Jun 21, 2024

Commits on May 10, 2024

rework - repos now have 'resolve' tag by default
chrisrueger
committed

Commits on May 17, 2024

Commits on May 20, 2024

Tags implement Set using an internal sorted set
chrisrueger
committed