A force push would have been fine

simonw · web-flow · commit 2064a8b538d3 · 2023-01-24T17:50:11.000-08:00
diff --git a/git/rewrite-repo-remove-secrets.md b/git/rewrite-repo-remove-secrets.md
@@ -120,3 +120,4 @@ git remote remove origin
 git remote add origin git@github.com:simonw/my-repo.git
 git push -u origin main
 ```
+This was likely unnecessary: the GitHub documentation says that a force push should remove all traces of the old commits.

-Original file line number
+Diff line change
 git remote add origin [email protected]:simonw/my-repo.git
 git push -u origin main
 ```
 +This was likely unnecessary: the GitHub documentation says that a force push should remove all traces of the old commits.