GitHub PR JSON Exporter

This extension adds a button to the GitHub Pull Request page to export details about the PR in a JSON format. The extension requires the user to input a PAT (Personal Access Token) for authentication of the GitHub API, and this token is only stored on the local machine. For more details, see the open source repo on GitHub here: https://github.com/cosmicbuffalo/github_pr_json_exporter