Rename git topic merge to git topic push