Comment by nine_k

I wonder if the tool can be amended to commit to an independent git repo.

Git can operate on two local repos reasonably efficiently, IIRC, so diffing and applying commits should be doable.