Allow synchronization of eraser documents with other git services than GitHub.