3 ms·Make GitHub issues filters 'sticky' again (chrome extension)1 points by benjaminwood 12y agobenjaminwood 12y agoIt's a minor thing, but I've been using it for a month or so and couldn't live without it. :-)