@tom can you provide user stats based on profile info/tags?
Commit
f0d4bc5
Not by tags, no. Profiles show GitHub identity, bio and public info, plus commit, following and follower counts, and a year of activity. There's no tagging of profiles or tag-based user stats yet. Some folks have asked for hashtag-based lists (https://dev-null.sh/@simonhampel/commits/01a14e89-df44-73ff-9f85-a9963538e881).
commit f0d4bc5