Git: ignore all instances of .server-port