☰

GitHub Default Issues Filter

Replaces GitHub issue's default filter

As of 2022-09-05. See the latest version.