From 2064a8b538d3e6d2798bc3b7973e2ffdf7ab1a34 Mon Sep 17 00:00:00 2001 From: Simon Willison Date: Tue, 24 Jan 2023 17:50:11 -0800 Subject: [PATCH] A force push would have been fine --- git/rewrite-repo-remove-secrets.md | 1 + 1 file changed, 1 insertion(+) diff --git a/git/rewrite-repo-remove-secrets.md b/git/rewrite-repo-remove-secrets.md index 367ea08396..6758665bb7 100644 --- 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.