3 ms·

Refined GitHub

• amelius 4y ago
  Doesn't GitHub itself have an Issues page?
  • NERD_ALERT 4y ago
    What does that have anything to do with a browser extension that modifies the Github UI?
• hnarayanan 4y ago
  This looks really good! I would very much love the "revert all the changes to a file" feature as part of the standard GitHub PR-review interface.
• alvarlagerlof 4y ago
  They only thing I dislike I'd the hover expand height ob lists of issues. Couldn't figure out how to turn off so I uninstalled it.
• jerpint 4y ago
  I’ll be trying this out