As this may affect a reasonable percentage of the target audience, I would like to make everyone aware of https://github.com/blog/1938-vulnerability-announced-update-your-git-clients While github.com claim to have patched their servers, people using other repos may want to be extra cautious.