Add link to git sync
@@ -12,7 +12,10 @@ git-sync
A utility to make working with server side rewritten commits easier.
Those commits frequently get produced when making changes to ``workspace.josh`` files.
-The command should be put into ``PATH`` and can be used as a drop-in replacement for ``git push``.
+The command is available [in the script
+directory](https://raw.githubusercontent.com/josh-project/josh/master/scripts/git-sync).
+It should be put downloaded and added to the ``PATH``.
+It can then be used as a drop-in replacement for ``git push``.
It enables the server to *return* commits back to the client after a push. This is done by parsing
the messages sent back by the server for announcements of rewritten commits and then fetching
those to update the local references.
