Great extension! Recommend having Favorite Repos grouping separate from Other Open Pull Requests. Favorite Repos would basically work the same as "Other Open Pull Requests" works now. I.e. it uses a sticky filter. That would allow me to separate the ones I really care about, but still see all others.
Great extension! Recommend having Favorite Repos grouping separate from Other Open Pull Requests. Favorite Repos would basically work the same as "Other Open Pull Requests" works now. I.e. it uses a sticky filter. That would allow me to separate the ones I really care about, but still see all others.