Simple extension that adds a `git fetch` command to GitHub pull request pages, making it easy to fetch and check out pull requests locally without some nonsense `gh` utility, just plain ol' git.

This idea was copied from the Gerrit Code Review tool. Gerrit users using Github: rejoice!

This extension is open source: https://github.com/mgalgs/github-pr-fetch

Install

• License: MIT License
• Weekly downloads: 1
• Average daily users: 1
• Rating: 0/5 of 0 ratings
• Created: 2023-07-07 20:37:15
• Last updated: 2023-07-10 19:55:33
• Homepage:
• Support site and email
• Orig: https://addons.mozilla.org/en-US/firefox/addon/github-pr-fetch/
• API: {87c77e9d-ae76-4e8c-affe-bcd2eb99caaf}