Is this jenkins git permissions panic a known problem?