Some initial docs for cli tools
josh-filter
===========
+
+Command to rewrite history using ``josh`` filter specs.
+By default it will use ``HEAD`` as input and update ``FILTERED_HEAD`` with the filtered
+history, taking a filter specification as argument.
+
+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``.
+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.
+In case of a normal git server that does not rewrite anything, ``git sync`` will do exactly the
+same as ``git push``, also accepting the same arguments.
