hm, not sure if this is known or not but jenkins still seems to be having git issues for me. let me know if I should file a ticket for that, otherwise FYI