Click on tags to remove them from the filter.
There are various reasons why one might want to rename the default branch of a Git repo from master to main; here’s a quick reminder to myself of how.
Using GitHub Actions to updatge the README of a repository of short tips & tricks articles.
(Via Simon Willison on Twitter)
Noted by Damian Cugley .