English
See more
Gives GitHub PR commits nice default names.
Latest Version
Version
1.4
Update
January 5, 2021
Size
3.86KiB
Developer
Category
Users
21 
Rating
0 ★
Manifest Version
2
Web Store Status
Extension ID
Languages Support
Permissions
Nice Pull Extension
Converts Github PR commits from this form:
`
Merge pull request #${prNumber} from ${repository}/${branchName}
${pullRequestTitle}
`
to
`${pullRequestTitle} (#${prNumber})`
which is a much more helpful description of the commit, and looks much nicer in history.
Read more
`
Merge pull request #${prNumber} from ${repository}/${branchName}
${pullRequestTitle}
`
to
`${pullRequestTitle} (#${prNumber})`
which is a much more helpful description of the commit, and looks much nicer in history.
Source Manifest.json
{"update_url": "https://clients2.google.com/service/update2/crx", "manifest_version": 2, "name": "Nice Pull", "version": "1.4", "description": "Gives GitHub PR commits nice default names.", "icons": { "48": "icons/border-48.png" }, "content_scripts": [{ "matches": ["*://github.com/*/pull/*"], "js": ["nicepull.js"] }]}
Read more
Similar Extensions
GitHub Code Owners Filter 21 2 ★ 156KiB
Alright: Autolink references in GitHub titles 21 1 ★ 17.97KiB
GitHub Merge Guardian 21 0 ★ 306KiB
Copy GitHub PR link with title 21 0 ★ 11.1KiB
GitRec 21 1 ★ 181KiB
GH Real Names 21 0 ★ 23.35KiB
GitHub Latest Release 21 0 ★ 54.3KiB
GitCode 21 4 ★ 650KiB
Lovely forks 21 13 ★ 945KiB
GitHub Markdown Printer 21 31 ★ 17.82KiB
CommitChat 21 0 ★ 52.84KiB
GitHub UI Booster 21 1 ★ 247KiB
GitHub PR Templates 21 0 ★ 7.92KiB
GitHub PR Merge Strategy Restrictor 21 3 ★ 68.33KiB
Compass GitHub WebP Previwer 21 0 ★ 38.4KiB
GitHub Custom Notifier 21 1 ★ 397KiB
Jira Git Branch 21 1 ★ 38.71KiB
Original GitHub Bar 21 2 ★ 12.65KiB
Open in (GitHub) Dev! 21 1 ★ 171KiB
GitHub PR Title Formatter 21 2 ★ 508KiB
GitHub PR Extractor 21 0 ★ 24.88KiB
Share Pull Request 21 0 ★ 415KiB
Git Pull Request Templates 21 3 ★ 64.11KiB
GitHub Compare Online 21 0 ★ 383KiB
Latest Updates
Top Rated
Hola VPN - Your Website Unblocker
Adblock for Youtube™
AdBlock — block ads across the web
Video Downloader Professional
Adblock Plus - free ad blocker
Stands AdBlocker
Evernote Web Clipper
Argent X - Starknet Wallet
Touch VPN - Secure and unlimited VPN proxy
Pop up blocker for Chrome™ - Poper Blocker