git: insteadof, pushInsteadOf