Hi all,&nbsp;<div><br class="webkit-block-placeholder"></div><div>I saw a mention of a 3rd party git plugin in a previous post, but have been unable to locate it anywhere. Anybody know where I can find it?</div><div><br class="webkit-block-placeholder">
</div><div>TIA,</div><div>Christian</div>