Fixes for GitHub Shortcomings
mainRefined GitHub addresses various bugs and UX issues in the native GitHub interface:
- Link and URL Fixes:
- Linkifies branch references in "Quick PR" pages.
- Linkifies line numbers where GitHub lacks links.
- Linkifies certain text like issue references in issue titles and discussion sidebars.
- Drops the redundant
readme-ov-fileparameter from repository URLs. - Suggests fixes for links wrongly shortened by GitHub.
- Keeps links from opening in new tabs by default (ensuring "Open in new tab" is a user choice).
- Workflow and Interaction Fixes:
- Points the "View file" button on PRs to the branch instead of the commit (enabling Edit/Delete buttons).
- Prevents duplicate PR submissions when clicking "Create pull request" multiple times.
- Prevents comment loss by opening preview links in a new tab instead of navigating away while editing.
- Fixes
<kbd>cmd</kbd> <kbd>enter</kbd>to submit comments on closed PRs. - Redirects to the repo issue list when a search does not include
is:pr. - Automatically scrolls the file tree to the current file.
- Closes checks lists when clicking outside of a modal.
- Disables certain modals that reduce user experience.
- UI and Performance Fixes:
- Applies various CSS fixes to the GitHub interface.
- Removes the file hover effect in the repository file browser.
- Removes unnecessary or redundant information from the repository sidebar.
- Retries downloading images that failed due to GitHub's limited proxying.
- Improves the usability of the comment reactions popup by making it smaller.
- Stacks old and new titles in title change timeline events for better readability.
- Adds a 'New Milestone' button to the milestone page.