The Wayback Machine - https://web.archive.org/web/20230131225936/https://github.com/refined-github/refined-github/pulls
Skip to content

Pull requests: refined-github/refined-github

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Milestones
Filter by milestone
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Drop stop-pjax-loading-with-esc feature
#6271 opened Jan 31, 2023 by fregante Loading…
Minor correction in feature.add examples in contributing.md meta Related to Refined GitHub itself
#6270 opened Jan 31, 2023 by ambujsahu81 Loading…
Reduce content shift on navigation ajax Temporary label to collect Ajax issues bug
#6267 opened Jan 31, 2023 by fregante Loading…
2
1
Restore clean-header-search-field bug
#6266 opened Jan 31, 2023 by fregante Loading…
Restore linkify-user-labels bug
#6264 opened Jan 30, 2023 by fregante Loading…
1 task
Restore download-folder-button bug
#6262 opened Jan 30, 2023 by fregante Loading…
Remember one-click-diff-options state bug
#6261 opened Jan 30, 2023 by fregante Loading…
Update links in sticky-file-header meta Related to Refined GitHub itself
#6254 opened Jan 30, 2023 by fregante Loading…
Restore rgh-feature-descriptions meta Related to Refined GitHub itself
#6253 opened Jan 30, 2023 by fregante Loading…
Restore default-branch-button bug
#6249 opened Jan 30, 2023 by fregante Loading…
Drop align-repository-header feature
#6247 opened Jan 30, 2023 by fregante Loading…
Restore mark-merge-commits-in-list in PRs bug
#6246 opened Jan 30, 2023 by fregante Loading…
Restore release-download-count bug
#6245 opened Jan 30, 2023 by fregante Loading…
Drop duplicate hotfix notice in the options page meta Related to Refined GitHub itself
#6212 opened Dec 26, 2022 by fregante Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.