GitHub PR Extractor

ExtensionTools5 users

Overview

Extract PR numbers from a GitHub page and export to CSV.

Helper Utils for Github: 1. Helps to get PR numbers from github PR pages. 2. Helps to form the the git hub URL for the given parameters like: - Review - Reviewed By - Branch Name - Created Date

0 out of 5
No ratings
Learn more about results and reviews.

Details

Version
1.1
Updated
May 28, 2024
Flag concern
Offered by
mohanc
Size
24.88KiB
Languages
English (United States)
Developer
Email
mohan.chinnappan.n@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, please open this page on your desktop browser