Update publish_game.md

leanprover-community · Dec 8, 2023 · 8b43aed · 8b43aed
1 parent 8c84d3f
commit 8b43aed
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/doc/publish_game.md b/doc/publish_game.md
@@ -26,5 +26,4 @@ Now you can immediately play the game at `adam.math.hhu.de/#/g/{USER}/{REPOSITOR
 
 ## 4. Main page
 
-Adding games to the main page happens manually by the server maintainers. Tell us if you want us
-to add a tile for your game!
+Adding games to the main page happens manually by the server maintainers. Tell us if youwould like your game to appear on the start page.