GitHub PR JSON Exporter

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