View Single Post
Old 04-03-2018, 10:00 PM   #510
mschnell
Human being with feelings
 
mschnell's Avatar
 
Join Date: Jun 2013
Location: Krefeld, Germany
Posts: 8,690
Default

I seem to be rather dumb ...

This github thing is close to unusable for me.

If I want to edit a file that is not yet merged, I can't edit it because I just don't find it (supposedly i.e. find the open pull request).

If I want to edit a file that already is merged, I cant edit it, because before editing, you need to open a pull request on that file, and I fail to find out how to do that (i.e. create a pull request on a dedicated merged file). On none of the very many web pages that can be displayed with respect to that merged file and it's project #, there is an option to (re-) open a pull request.

Some years ago I (with a programming language prooject) tried to use GitHub through the Linux "git" command line utilities, and also desperately failed.

-Michael

Last edited by mschnell; 04-08-2018 at 12:02 AM.
mschnell is offline   Reply With Quote