sync eXist sources to a sha that's on github