Github Filter Extension

This extension add some feature to save and delete your custom filters in issues and Pull request page on Github.