- From: Gregg Kellogg <gregg@greggkellogg.net>
- Date: Fri, 14 Apr 2023 11:16:45 -0700
- To: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
- Cc: RDF-star Working Group <public-rdf-star-wg@w3.org>
Received on Friday, 14 April 2023 18:17:03 UTC
There are some sections in the Editor’s Guide [1] on working with GitHub. People should feel free to update this document with other helpful links and advice. Gregg Kellogg gregg@greggkellogg.net [1] https://github.com/w3c/rdf-star-wg/blob/main/docs/editors-guide.md#contributing-to-the-repository > On Apr 14, 2023, at 10:57 AM, Peter F. Patel-Schneider <pfpschneider@gmail.com> wrote: > > Different members of the working group have differing expertise on git and GitHub. Even members of the working group who have used git and GitHub before may not know about all the features provided by git and GitHub. > > So instead of lashing out at working group members who are trying hard to figure out how to do things that you know how to do, please instead educate them. I think this will make working group meetings more congenial. > > It would be even better to be proactive by creating how-to documents for the working group, for example how to make suggested changes to a pull request. > > peter > >
Received on Friday, 14 April 2023 18:17:03 UTC