Re: github expertise

I assume that one of these suggestions is "Pull Requests".  That points to 
"Commenting on a pull request" which has some information and points to other 
information.   This eventually provides a mechanism for making suggestions to 
single lines of the changes in a pull request.

But as far as I can tell there is nothing on how to make larger suggestions. 
I'm trying to figure out how to do this but even with the information I 
received today I'm not making any headway.

The document is also a guide for editors so it is unclear whether there is 
information for non-editors.

peter


On 4/14/23 14:16, Gregg Kellogg wrote:
> 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 <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:25:50 UTC