IP law is pretty important to open-source keeping rights to names too, and git is open source (GPL v2 IIRC). Don't see the contradiction, as parts of IP law are needed to make sure contributions remain open.