GitHub PR Info Copier

Overview

Quick copy GitHub PR information with CMD+Shift+o or a button next to the PR title

Adds a button to copy Github PR information that includes the title, a link to the PR, the repo name, and lines added and deleted.

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

Details

Version
1.2
Updated
April 8, 2025
Flag concern
Offered by
Max
Size
2.05MiB
Languages
English
Developer
Email
max@maxallen.dev
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. To learn more, see the developer’s privacy policy.

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

pr-snap

0.0

PR-Snap is a Chrome extension that helps you quickly copy GitHub pull request links with titles in various formats for easy sharing.

GitHub Linker

0.0

Show repo related info on GitHub page, like blog, video, similar project etc.

Priority

0.0

Filter and sort your GitHub PR overview

Github to vscode

3.7

Quickly open github repos with vscode.dev or clone a repo directly to vscode.

DataHub Link Generator

0.0

Generate shareable DataHub links directly from GitHub

Flavortown GitHub Exporter

0.0

Import your GitHub projects to Flavortown with one click and auto-generate descriptions with AI

GitHub PR Title Formatter

5.0

Customize GitHub PR Title formatting

Copy GitHub PR Link

5.0

Adds a button to copy GitHub PR title + URL as a link

Octocopy

5.0

Copy GitHub PR details into your clipboard.

GitHub Copy Link

0.0

Copy GitHub repository links to clipboard with one click

GitHub Comment Copier

0.0

Copy GitHub comments in a formatted way for AI agents

GitHub Diff

0.0

A simple extension to help with GitHub PRs by copying diff contents to ChatGPT and opening raw files.