Refined GitHub

Refined GitHub is a browser extension that smooths some rough edges of the GitHub UI.

Custom CSS

Disable scrolling in tall code blocks

/* Don't make tall code blocks scrollable */
.comment-body blockquote,
.comment-body pre {
  max-height: none !important;
}

Features

quick-repo-deletion

quick-repo-deletion requires the delete_repo scope.

quick-review-buttons

quick-review-buttons replaces the radio buttons and submit button in the "Add your review" popup in the PR view with three buttons. It isn't very keyboard navigable, and since the default action is to comment and not leave an explicit review it can make rapid approvals painful.