Change a single character in hundreds of GitHub repos while staying in controlabout.sourcegraph.com1 pointsixhobbits3 years ago