Git push default - difference between simple, matching, current, etc.