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.
Statistics
Installs
8
history
Category
Rating
0.0 (0 votes)
Last update / version
2021-01-05 / 1.4
Listing languages
en