GitHub Project Filter Formatter with Saved Filters

Adds fuzzy search button inside input and frequently used filters toolbar above GitHub project filter input.

这些是此脚本变更过代码的版本。显示所有版本。