What about taking this opportunity and moving to
GIT?
I very much like using git and github for doing small commits to
text repositories like PFTE. I would love to have a nicely
integrated workflow for source code too. The work by (a.o)
Thierry makes me confident that we'll be able to achieve that
in the not too far future. At the moment however, we are not even
able to reliably find the git executable on all platforms.