Better Pull Request for GitHub

Add a file tree to GitHub Pull Requests

What is Better Pull Request for GitHub?

Better Pull Request for GitHub is a Chrome extension developed by Tal Bereznitskey, and its main feature is "Add a file tree to GitHub Pull Requests".

Extension Screenshots

screenshot

Download Better Pull Request for GitHub Extension CRX File

Download Better Pull Request for GitHub extension files in crx format, manually install Chrome extensions in the browser, or share the crx files with friends to easily install Chrome extensions.

Extension Usage Instructions

                        Make GitHub Pull Requests better with a file tree view and other UX improvements

- Browse pull requests with an IDE like file tree
- Private repositories support out of the box
- GitHub Enterprise support
- Other goodies: review viewed files, resizable tree, expand to full width and more

This is an open-source community project and is in no way affiliated or endorsed by GitHub.

For suggestions, issues and contribution, see https://github.com/berzniz/github_pr_tree                    

Extension Basic Information

Name Better Pull Request for GitHub Better Pull Request for GitHub
ID nfhdjopbhlggibjlimhdbogflgmbiahc
Official URL https://chromewebstore.google.com/detail/better-pull-request-for-g/nfhdjopbhlggibjlimhdbogflgmbiahc
Description Add a file tree to GitHub Pull Requests
File Size 405 KB
Installation Count 10,000
Current Version 1.0.37
Last Updated 2022-04-08
Publish Date 2020-05-01
Rating 4.88/5 Total 215 Ratings
Developer Tal Bereznitskey
Email [email protected]
Payment Type free
Extension Website https://github.com/berzniz/github_pr_tree
Supported Languages en
manifest.json
{
    "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
    "name": "Better Pull Request for GitHub",
    "short_name": "Better PRs",
    "permissions": [
        "contextMenus",
        "storage",
        "*:\/\/*.github.com\/*"
    ],
    "optional_permissions": [
        "http:\/\/*\/*",
        "https:\/\/*\/*"
    ],
    "background": {
        "scripts": [
            "background.js"
        ],
        "persistent": false
    },
    "content_scripts": [
        {
            "matches": [
                "*:\/\/*.github.com\/*"
            ],
            "run_at": "document_idle",
            "js": [
                "better_github_prs.js"
            ],
            "css": []
        }
    ],
    "browser_action": {
        "default_icon": {
            "16": "16x16.png",
            "48": "48x48.png",
            "128": "128x128.png"
        },
        "default_popup": "options.html"
    },
    "options_page": "options.html",
    "web_accessible_resources": [
        "options.html",
        "*.woff2"
    ],
    "icons": {
        "16": "16x16.png",
        "48": "48x48.png",
        "128": "128x128.png"
    },
    "manifest_version": 2,
    "content_security_policy": "script-src 'self' 'unsafe-eval'; object-src 'self';",
    "description": "Add a file tree to GitHub Pull Requests",
    "version": "1.0.37"
}