title: How to modify remote history with git filter-repo?
body: <p>In the past I've used <code>git filter-branch</code> to remove files from my git history. Following that, I can do a force push to update the remote repository. For example, removing all HTML files from the local repo and then rewriting the remote to reflect the change:</p>
  <pre><code>$ git filter-branch --force --index-filter 'git rm --cached --ignore-unmatch -r \*.html' --prune-empty -- --all
  $ git push origin --force --all
  </code></pre>
  <p>This works perfectly fine. But seeing as <code>filter-branch</code> is extremely slow and has been deprecated for a while, I'd like to do this with <code>git-filter-repo</code> instead. So far, this seems to be the equivalent command:</p>
  <pre><code>$ git-filter-repo --force --path-glob *.html --invert-paths
  </code></pre>
  <p>This first step appears to work. My issue is when I attempt a force push afterwards, I see my remotes have been lost.</p>
  <pre><code>$ git push origin --force --all
  fatal: 'origin' does not appear to be a git repository
  fatal: Could not read from remote repository.
  
  Please make sure you have the correct access rights
  and the repository exists.
  </code></pre>
  <p>The filter-repo command appears to have removed my remote URLs when I check <code>git remote -v</code>. Adding back the remote manually puts me down a rabbit hole of other settings be invalid.</p>
  <p><strong>Why does <code>git-filter-repo</code> remove my remote? And how can I rewrite remote's history using <code>git-filter-repo</code> like I'm able to with <code>git filter-branch</code>?</strong></p>