Zulip Chat Archive
Stream: general
Topic: refined github
Johan Commelin (Jan 14 2022 at 07:24):
I just installed the "Refined Github" extension for Firefox. Wow, that improves the github UI on so many levels. Can thoroughly recommend!
Eric Rodriguez (Feb 16 2022 at 12:32):
do people know if it can add diff sizes to the PR browsing screen? that would be really nice
Eric Rodriguez (Feb 16 2022 at 12:33):
(otherwise this extension is really pretty good!)
Last updated: Dec 20 2023 at 11:08 UTC