Re: [webkit-dev] Remove the version labels in GitHub