improve git sync procedure

2023-11-03 17:58:47 +01:00 · 2023-11-03 17:58:47 +01:00 · cde603dd0e
commit cde603dd0e
parent 7195141805
1 changed files with 2 additions and 0 deletions
--- 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
 ```