Update Tools/Git

2026-09-29 15:14:05 +13:00
parent 715e914154
commit 4f3f34d66b
+7
@@ -30,7 +30,14 @@ git push origin 'refs/remotes/{name_of_remote}/:refs/heads/' --prune --tags
```
### Renaming Already Pushed Commits
<details>
<summary>Explanation</summary>
</details>
```
git rebase -i HEAD~{number_of_commits_to_go_back}
git push --force-with-lease
```
References:
- https://stackoverflow.com/questions/73528969/how-to-change-an-old-commit-message