Update Tools/Git

2026-09-29 10:25:42 +13:00
parent 7a8cb5d90a
commit 715e914154
+6
@@ -28,3 +28,9 @@ git remote add {name_of_remote} {remote_url}
git fetch {name_of_remote} git fetch {name_of_remote}
git push origin 'refs/remotes/{name_of_remote}/:refs/heads/' --prune --tags git push origin 'refs/remotes/{name_of_remote}/:refs/heads/' --prune --tags
``` ```
### Renaming Already Pushed Commits
```
git rebase -i HEAD~{number_of_commits_to_go_back}
git push --force-with-lease
```