diff --git a/doc/repositories_tldr.md b/doc/repositories-tldr.md similarity index 100% rename from doc/repositories_tldr.md rename to doc/repositories-tldr.md