Replaces GitHub issue's default filter
This script replaces GitHub issue's default filter is:issue is:open with is:issue.
is:issue is:open
is:issue
Navigate to https://github.com/xxx/yyy/issues and you'll see the effect.
https://github.com/xxx/yyy/issues