GitHubPulls: output sorted json without using jq

Created by  Graham Christensen  on October 12, 2021
EFKQA2YC6ZI2TTOUY66S7TNYQTQN3R7JS4FXRYM7TONAHSIDQCEAC
Change contents