This is a simple two-way syncing tool written in Python, using Unison as the backend. I don't pretend that this is of use to anyone but me :-).