diff --git a/docs/unsure-where-to-put/dev-notes.md b/docs/unsure-where-to-put/dev-notes.md
index 6de9fa441f..90e9d8c035 100644
--- a/docs/unsure-where-to-put/dev-notes.md
+++ b/docs/unsure-where-to-put/dev-notes.md
@@ -23,4 +23,6 @@ git push --force
 git checkout forgejo-federated-star
 git rebase forgejo-development
 git push --force
+
+git reset --hard origin/forgejo-federated-star
 ```