From 08f96a91f3930b4ff9a50a46d44ccf2c22921a35 Mon Sep 17 00:00:00 2001 From: Elian Doran Date: Sat, 6 Dec 2025 19:37:25 +0200 Subject: [PATCH] docs(readme): fix a space --- scripts/repo-migration/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/repo-migration/README.md b/scripts/repo-migration/README.md index 3266b69dd..4796c5d1f 100644 --- a/scripts/repo-migration/README.md +++ b/scripts/repo-migration/README.md @@ -9,5 +9,5 @@ Since Git only migrates the code and not the GitHub-specific data, we had to cre * Issues, using the "Transfer" function for each issue (via `gh cli`). * The migration logs are available in `migrated-issues.txt`. * Discussions, which transferred each discussion from the original repo. This one is a bit more complicated (and potentially flaky) since it works via playwright, by manually selecting the "Transfer" function (no API available at the time). - * The migration logs are available in`migrated-discussions.txt`. + * The migration logs are available in `migrated-discussions.txt`. * Releases, by manually downloading the assets from the source repo and creating new releases into the destination repo. \ No newline at end of file