Make GitHub issues filters 'sticky' again (chrome extension)github.com/benjaminwood1 pointbenjaminwood12 years ago