That's exactly my case. I needed a way to (really) quickly browse my stars. Instant filter can save a lot of time. I hope GitHub will add something like that in

That's exactly my case. I needed a way to (really) quickly browse my stars. Instant filter can save a lot of time. I hope GitHub will add something like that in the future.