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.