- From: Gregg Kellogg <gregg@greggkellogg.net>
- Date: Thu, 2 Feb 2023 22:19:30 -0800
- To: RDF-star Working Group <public-rdf-star-wg@w3.org>
- Message-Id: <925F4E6B-A176-4EFD-A3AA-BEF4F97A7E3A@greggkellogg.net>
Best wait to clone any repositories with open pull requests until those PRs are merged. Otherwise, there are some extra steps needed when pulling the updates to the “main” branch after the merge is complete. PRs should be approved by the editors of the relevant document after which they can be merged. Gregg Kellogg gregg@greggkellogg.net > On Feb 2, 2023, at 6:12 PM, Gregg Kellogg <gregg@greggkellogg.net> wrote: > > I’ve updated all of the RDF repositories, other than RDF-XML, which has some link errors still to be resolved. In many cases, editors still need to be given appropriate access rights to the repositories for the specifications they’ve signed up to, which has been noted in the latest pull requests. It’s saft to clone and start working on these documents. Generally, updates should be done on separate branches, and pushedd directly into the group repository, rather than from a fork of the repository, given the appropriate write access. > > If you’re listed as an editor of one of these documents, I’ve either asked specifically for approval, or mentioned you in a comment. Please go ahead and review the PRs and comment, request changes, or approve for merge. > > See https://www.w3.org/groups/wg/rdf-star/tools for the list of repositories for the Working Group. > > Gregg Kellogg > gregg@greggkellogg.net >
Received on Friday, 3 February 2023 06:19:57 UTC