GitHub PR JSON Exporter

the for the to the pull github of button and a json github the token request is this local github to open export lo/github_pr_json_exporter the stored https://github.com/cosmicbuffa more input the repo pat this api, page the on user in a machine. only authentication access token) see about a extension for requires pr here: to source (personal details extension adds details, format. on