Skip to content

Pull requests: jerone/UserScripts

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

Pull requests list

feat: use eslint-plugin-userscripts meta
#169 by Yash-Singh1 was merged Feb 1, 2024 Loading…
(Github Image Viewer) Bump version
#166 by meequrox was merged Dec 16, 2022 Loading…
fix Github Pages Linker for new UI in 2021
#159 by leocaseiro was merged May 27, 2021 Loading…
Fix typo
#156 by koppor was merged Nov 5, 2020 Loading…
Update Github_Commit_Whitespace.user.js
#154 by mallowigi was merged Nov 5, 2020 Loading…
Fix broken icon urls enhancement
#146 by ottnorml was merged Apr 24, 2019 Loading…
Update Marktplaats_Exchanger.user.js (Marktplaats Exchanger)
#139 by jerone was merged Nov 13, 2018 Loading…
Removed UTF-8 BOM from scripts
#136 by The-Compiler was merged Sep 14, 2018 Loading…
Update Github_News_Feed_Filter.user.js
#129 by jerone was merged May 22, 2018 Loading…
🐛 Fix after GitHub site update
#128 by darkred was merged May 20, 2018 Loading…
Update Github_News_Feed_Filter.user.js
#126 by darkred was merged May 10, 2018 Loading…
GitHub commit compare (GitHub Commit Compare)
#120 by jerone was merged Sep 27, 2017 Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.