Restic docs - small change - can't commit

I tried to commit a small change to the docs, but I got a github error on commit and don’t have time to work out why. Here’s the change, if anyone can include it. It just shows the command line format for Windows users, which I tend to look up occasionally.

\doc\050_restore.rst

Line 51 insert this

Windows users can use the following command line format

.. code-block:: console

    $ restic -r  C:\Backups\ResticRepository\Documents\Fred" restore 79766175 --target "C:\temp\ResticRestore" --include "/C/Users/Fred"
    enter password for repository:
    restoring <Snapshot of [/C/Users/Fred] at 2015-05-08 21:40:19.884408621 +0200 CEST> to C:\temp\ResticRestore

Probably because you aren’t a repository collaborator. The proper workflow is:

  1. Fork the repository on Github.
  2. Clone your repository (or add it as a remote to your existing clone).
  3. Push the new commits on a new branch to your fork.
  4. Submit a pull request to the restic repository from your branch to restic’s master.

I did that. I think the problem was a technical one, that I did a checkout using https but you need to use ssh to commit. I couldn’t be bothered messing about with it. If someone wants to commit it, great, otherwise I’ll leave it.