Item logo image for GitHub PR Extractor

GitHub PR Extractor

ExtensionTools15 users
Item media 1 (screenshot) for GitHub PR Extractor

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 5No ratings

Learn more about results and reviews.

Details

  • Version
    1.1
  • Updated
    May 28, 2024
  • 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

Manage extensions and learn how they're being used in your organization
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

Related

GitHub Better CSV Diff

0.0

Renders CSV file diffs as side-by-side tables on GitHub

CoderStats link for Github Coders

5.0

Display a link to the CoderStats page for the currently displayed GitHub user when browsing github.com.

GitHub Git Notes Viewer

0.0

Display git notes inline on GitHub commit pages.

Content In Context

0.0

Shows PR descriptions in the Files Changed tab on GitHub

git branch name generator

0.0

An extension that generate git branch name from the GitHub issue page.

GitHub Release Downloads

4.5

This extension displays the number of downloads GitHub releases have on the releases page.

GitHub Exporter

0.0

Export GitHub Issues to CSV in one click.

PR Tracker

5.0

Track and manage your GitHub pull requests

GitHub Better Line Counts

5.0

Remove generated files from GitHub line counts

Scan Pin URLs

0.0

Scans a Pinterest board, collects pin URLs, and exports them to CSV.

PR Hub

0.0

View your open PRs, review requests, merged PRs, CI status, and base branches with GitHub Primer theming.

Better GitHub

5.0

Improve usability of GitHub PR, issue, and other pages

GitHub Better CSV Diff

0.0

Renders CSV file diffs as side-by-side tables on GitHub

CoderStats link for Github Coders

5.0

Display a link to the CoderStats page for the currently displayed GitHub user when browsing github.com.

GitHub Git Notes Viewer

0.0

Display git notes inline on GitHub commit pages.

Content In Context

0.0

Shows PR descriptions in the Files Changed tab on GitHub

git branch name generator

0.0

An extension that generate git branch name from the GitHub issue page.

GitHub Release Downloads

4.5

This extension displays the number of downloads GitHub releases have on the releases page.

GitHub Exporter

0.0

Export GitHub Issues to CSV in one click.

PR Tracker

5.0

Track and manage your GitHub pull requests

Google apps