From 6ccd6853d48c4a6db7b3af7e582a2f620878d34b Mon Sep 17 00:00:00 2001 From: guest20 Date: Sun, 24 May 2020 13:07:50 +0200 Subject: [PATCH] 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.... --- ...blic-Source-Repo-Issues.txt => Public-Source-Repo-Issues.json} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Discovery/Web-Content/{Public-Source-Repo-Issues.txt => Public-Source-Repo-Issues.json} (100%) diff --git a/Discovery/Web-Content/Public-Source-Repo-Issues.txt b/Discovery/Web-Content/Public-Source-Repo-Issues.json similarity index 100% rename from Discovery/Web-Content/Public-Source-Repo-Issues.txt rename to Discovery/Web-Content/Public-Source-Repo-Issues.json