Web developer amongst other things
I wish Github’s Pull Request filters would persist in between changes.