Why Git URL path part is separated by double slash // Why the path to the directory part in the Git URL is double slash //?