BertrandSim

Hello! I noticed that when tags and head refs (such as branch names) are placed side by side on the same line, the tags and head refs are highlighted in...