So... wouldn't this mean GitHub Team with a single user is better than GitHub pro?