There are also quite some headers GitHub sets which often can be used for filters. E.g. instead of checking for `[reponame]` in the title, you can check the `Li

There are also quite some headers GitHub sets which often can be used for filters. E.g. instead of checking for `[reponame]` in the title, you can check the `List-ID` to filter for a specific repo.