Re: github expertise

There’s far too much to document on our own simple Wiki. Ultimately, searching through GitHub’s documentation finds a lot of answers. Consider this one about reviewing chnages in a Pull Request: https://docs.github.com/en/enterprise-server@3.5/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/reviewing-proposed-changes-in-a-pull-request.

GitHub Docs has information on a lot of topics related to effectively using their platform.

Gregg Kellogg
gregg@greggkellogg.net

> On Apr 14, 2023, at 11:25 AM, Peter F. Patel-Schneider <pfpschneider@gmail.com> wrote:
> 
> 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 21:11:01 UTC