[franga2000]

You'd need to go out of your way to make git pull do agent forwarding and I can't really think of a reason why anyone would.