Update URL of repos.md

README.md

@@ -20,8 +20,8 @@ See also the announcement blog post:
 ## Quick start guide
 
 Open a pull request that adds the GitHub repository of your Scala project
-to [repos.md](https://github.com/scala-steward-org/repos/blob/master/repos.md)
-([edit](https://github.com/scala-steward-org/repos/edit/master/repos.md)).
+to [repos-github.md](https://github.com/scala-steward-org/repos/blob/master/repos-github.md)
+([edit](https://github.com/scala-steward-org/repos/edit/master/repos-github.md)).
 Once that PR is merged, [**@scala-steward**][@scala-steward] will check
 periodically for updates of libraries and plugins in your project and will
 open pull requests for updates it found.

repos.md

@@ -1,5 +1,5 @@
 The repos.md file for the public Scala Steward instance has been moved to
-<https://github.com/scala-steward-org/repos/blob/master/repos.md>.
+<https://github.com/scala-steward-org/repos/blob/master/repos-github.md>.
 If you want Scala Steward to keep your project up-to-date, please add it there.
 
 - fthomas/base.g8

scripts/run.sh

@@ -14,7 +14,7 @@ JAR=$(find modules/ -name "scala-steward-assembly*.jar" | head -n1)
 curl -s --head --fail https://repo1.maven.org/maven2/
 
 REPOS_GITHUB="$STEWARD_DIR/repos-github.md"
-curl -s -o "$REPOS_GITHUB" https://raw.githubusercontent.com/scala-steward-org/repos/master/repos.md
+curl -s -o "$REPOS_GITHUB" https://raw.githubusercontent.com/scala-steward-org/repos/master/repos-github.md
 
 REPOS_GITLAB="$STEWARD_DIR/repos-gitlab.md"
 curl -s -o "$REPOS_GITLAB" https://raw.githubusercontent.com/scala-steward-org/repos/master/repos-gitlab.md