Nice Pull

ExtensionWorkflow & Planning26 users

Overview

Gives GitHub PR commits nice default names.

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.

0 out of 5
No ratings
Google doesn't verify reviews. Learn more about results and reviews.

Details

Version
1.4
Updated
January 5, 2021
Report a concern
Offered by
fallaciousreasoning
Size
3.86KiB
Languages
English
Developer
Email
jayharris72@gmail.com
Non-trader
This developer has not identified itself as a trader. For consumers in the European Union, please note that consumer rights do not apply to contracts between you and this developer.

Privacy

The developer has disclosed that it will not collect or use your data.

This developer declares that your data is

Not being sold to third parties, outside of the approved use cases
Not being used or transferred for purposes that are unrelated to the item's core functionality
Not being used or transferred to determine creditworthiness or for lending purposes

Support

For help with questions, suggestions, or problems, visit the developer's support site