Philippe Miossec

> "number of pinned repos" is the wrong term for this dropdown. Have a look at the screenshot of deduplication in the PR description. Honestly, I was wrong at renaming...

> I have a minor preference for anchor vs pin and am not voting for to have an icon for top repos at all To clarify a little, the icon...

@gerhardol Is my answer satisfying? or you still want me to remove the anchor icon from this PR ? I can do it easily. I think the added value of...

> I can live with the change. I can add an hidden setting, the added complexity will be very low... > (but I want the list to be sorted by...