Rename Public-Source-Repo-Issues.txt to Public-Source-Repo-Issues.json

This file is full of json, which might upset someone writing a script that assumes *.txt files are just url fragments....
This commit is contained in:
guest20 2020-05-24 13:07:50 +02:00 committed by GitHub
parent a8df2a72c2
commit 6ccd6853d4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23