diff --git a/miri-the-leader/contents.md b/the-leader/contents.md similarity index 100% rename from miri-the-leader/contents.md rename to the-leader/contents.md