3 ms·

I agree with you here. The git repo "pulls" changes from a remote instance/branch and then merges the changes.