I wish Github’s Pull Request filters would persist in between changes.