improve git sync procedure

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
 ```