title: Repo (GIT) how to update a manifest file when using a mirror?
body: <p>We initiated a repo locally using an existing manifest.</p>
  
  <pre><code>repo init -u ssh://ger-repository/my_project-manifests -m my_manifest.xml --mirror  
  </code></pre>
  
  <p>Now, the manifest file changed. Running the init command is not possible:</p>
  
  <pre><code>fatal: --mirror not supported on existing client
  </code></pre>
  
  <p>How can we update the manifest without deleting all mirror folder and re-syncing again?</p>