Github PR Link Extension
ExtensionDeveloper Tools4 users
Overview
Copies link and PR name
This Plugin is designed to speed up copying of PR information to post to external sources. It takes the PR url and pr title and copies them to the clipboard in the format: [PR Link] - [PR title] You can either click the PR title on the github page or use the widget in the extension to do this.
0 out of 5No ratings
Google doesn't verify reviews. Learn more about results and reviews.
Details
- Version1.1
- UpdatedNovember 28, 2024
- Size32.22KiB
- LanguagesEnglish (UK)
- Developer
Email
andrewmentwistle@gmail.com - Non-traderThis 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