Unable to open pull request via GitHub for squeak.org website repository

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
16 messages Options
Reply | Threaded
Open this post in threaded view
|

Unable to open pull request via GitHub for squeak.org website repository

timrowledge
I wanted to revise the Scratch related project section.
I cloned the squeak.org repository, opened in githubdesktop, made a branch, edited the relevant md file, saved it, committed it, then tried to open a pull request. Authentication fails. Apparently I’m logged in ok.

What next?

tim
--
tim Rowledge; [hidden email]; http://www.rowledge.org/tim
What passes for common sense is always revisable





Reply | Threaded
Open this post in threaded view
|

Re: Unable to open pull request via GitHub for squeak.org website repository

Tobias Pape

> On 23.08.2017, at 19:21, tim Rowledge <[hidden email]> wrote:
>
> I wanted to revise the Scratch related project section.
> I cloned the squeak.org repository, opened in githubdesktop, made a branch, edited the relevant md file, saved it, committed it, then tried to open a pull request. Authentication fails. Apparently I’m logged in ok.

Just to rule out the obvious, you first pushed to your fork before you opened the PR, right?

Best regards
        -Tobias

>
> What next?
>
> tim
> --
> tim Rowledge; [hidden email]; http://www.rowledge.org/tim
> What passes for common sense is always revisable
>
>
>
>
>


Reply | Threaded
Open this post in threaded view
|

Re: Unable to open pull request via GitHub for squeak.org website repository

timrowledge

> On 23-08-2017, at 10:23 AM, Tobias Pape <[hidden email]> wrote:
>
>
>> On 23.08.2017, at 19:21, tim Rowledge <[hidden email]> wrote:
>>
>> I wanted to revise the Scratch related project section.
>> I cloned the squeak.org repository, opened in githubdesktop, made a branch, edited the relevant md file, saved it, committed it, then tried to open a pull request. Authentication fails. Apparently I’m logged in ok.
>
> Just to rule out the obvious, you first pushed to your fork before you opened the PR, right?

‘obvious’ may not be obvious to a lot of us :-) But in this case, yes, I did because by sheer coincidence we had a small git-forlosers tutorial at our local makerspace last night so I even know some of the buzzwords!

Attempting a ‘push’ also complains about authentication though, so maybe there is a problem with the system lying to me, or me misunderstanderating. The preferences/account tab says I’m signed in.


tim
--
tim Rowledge; [hidden email]; http://www.rowledge.org/tim
There are no stupid questions. But, there are a lot of inquisitive idiots.



Reply | Threaded
Open this post in threaded view
|

Re: Unable to open pull request via GitHub for squeak.org website repository

Frank Shearar-3
On 23 August 2017 at 10:31, tim Rowledge <[hidden email]> wrote:

> On 23-08-2017, at 10:23 AM, Tobias Pape <[hidden email]> wrote:
>
>
>> On 23.08.2017, at 19:21, tim Rowledge <[hidden email]> wrote:
>>
>> I wanted to revise the Scratch related project section.
>> I cloned the squeak.org repository, opened in githubdesktop, made a branch, edited the relevant md file, saved it, committed it, then tried to open a pull request. Authentication fails. Apparently I’m logged in ok.
>
> Just to rule out the obvious, you first pushed to your fork before you opened the PR, right?

‘obvious’ may not be obvious to a lot of us :-) But in this case, yes, I did because by sheer coincidence we had a small git-forlosers tutorial at our local makerspace last night so I even know some of the buzzwords!

Attempting a ‘push’ also complains about authentication though, so maybe there is a problem with the system lying to me, or me misunderstanderating. The preferences/account tab says I’m signed in.

At the risk of also sounding a bit like Obvious Man, you're doing something like "git push origin mybranch" in your shell while in your browser you're logged in? Are you using HTTPS auth or SSH auth for your push? (You can tell by looking at the URI printed out by "git remote -v".) 'Cos it sounds a whole lot like git running in the shell doesn't know your auth details.

frank
 


tim
--
tim Rowledge; [hidden email]; http://www.rowledge.org/tim
There are no stupid questions. But, there are a lot of inquisitive idiots.






Reply | Threaded
Open this post in threaded view
|

Re: Unable to open pull request via GitHub for squeak.org website repository

timrowledge

> On 23-08-2017, at 11:16 AM, Frank Shearar <[hidden email]> wrote:
>
> At the risk of also sounding a bit like Obvious Man, you're doing something like "git push origin mybranch" in your shell while in your browser you're logged in? Are you using HTTPS auth or SSH auth for your push? (You can tell by looking at the URI printed out by "git remote -v".) 'Cos it sounds a whole lot like git running in the shell doesn't know your auth details.

I’m currently using GitHubDesktop on my iMac, because that’s what opened up when I cloned the squeak.org repository. Your question reads to my untutored eyes a bit like religious tracts - a sliding window across three syllables seems to make sense but when you try to put it all together... not so much.

I appear to be logged in when looking at github in Safari, and GitHubDesktop preferences tells me likewise.

Version control systems; I think someone forgot the initial ‘a’ in that spelling.


tim
--
tim Rowledge; [hidden email]; http://www.rowledge.org/tim
"Today's subliminal thought is:"



Reply | Threaded
Open this post in threaded view
|

Re: Unable to open pull request via GitHub for squeak.org website repository

Frank Shearar-3
On 23 August 2017 at 16:38, tim Rowledge <[hidden email]> wrote:

> On 23-08-2017, at 11:16 AM, Frank Shearar <[hidden email]> wrote:
>
> At the risk of also sounding a bit like Obvious Man, you're doing something like "git push origin mybranch" in your shell while in your browser you're logged in? Are you using HTTPS auth or SSH auth for your push? (You can tell by looking at the URI printed out by "git remote -v".) 'Cos it sounds a whole lot like git running in the shell doesn't know your auth details.

I’m currently using GitHubDesktop on my iMac, because that’s what opened up when I cloned the squeak.org repository. Your question reads to my untutored eyes a bit like religious tracts - a sliding window across three syllables seems to make sense but when you try to put it all together... not so much.

My work is done! Pay me, and enter the Kingdom of Git! 

I appear to be logged in when looking at github in Safari, and GitHubDesktop preferences tells me likewise.

Right, that answers my question. I wondered whether you were doing something silly like looking at your browser, seeing that you were logged in _there_ and then from an entirely disconnected process (your shell) expected the shell to know about the browser's authenticated session. Hence "Obvious Man". I will have to bow out the conversation: I don't use GitHubDesktop. Tried it years ago, but it did nothing for me that git/gitk didn't give me from the CLI.


Version control systems; I think someone forgot the initial ‘a’ in that spelling.

I dunno. In my experience, it's the fancy version control tools (GitHubDesktop, Visual Studio's git integration) that seems ropy. Just using git on the command line, the only time I've had trouble is when I forgot to ssh-agent/pageant.exe my keys.

frank



tim
--
tim Rowledge; [hidden email]; http://www.rowledge.org/tim
"Today's subliminal thought is:"






Reply | Threaded
Open this post in threaded view
|

Re: Unable to open pull request via GitHub for squeak.org website repository

Ben Coman


On Fri, Aug 25, 2017 at 2:59 AM, Frank Shearar <[hidden email]> wrote:
On 23 August 2017 at 16:38, tim Rowledge <[hidden email]> wrote:

> On 23-08-2017, at 11:16 AM, Frank Shearar <[hidden email]> wrote:
>
> At the risk of also sounding a bit like Obvious Man, you're doing something like "git push origin mybranch" in your shell while in your browser you're logged in? Are you using HTTPS auth or SSH auth for your push? (You can tell by looking at the URI printed out by "git remote -v".) 'Cos it sounds a whole lot like git running in the shell doesn't know your auth details.

I’m currently using GitHubDesktop on my iMac, because that’s what opened up when I cloned the squeak.org repository. Your question reads to my untutored eyes a bit like religious tracts - a sliding window across three syllables seems to make sense but when you try to put it all together... not so much.

My work is done! Pay me, and enter the Kingdom of Git! 

I appear to be logged in when looking at github in Safari, and GitHubDesktop preferences tells me likewise.

Right, that answers my question. I wondered whether you were doing something silly like looking at your browser, seeing that you were logged in _there_ and then from an entirely disconnected process (your shell) expected the shell to know about the browser's authenticated session. Hence "Obvious Man". I will have to bow out the conversation: I don't use GitHubDesktop. Tried it years ago, but it did nothing for me that git/gitk didn't give me from the CLI.


Version control systems; I think someone forgot the initial ‘a’ in that spelling.

I dunno. In my experience, it's the fancy version control tools (GitHubDesktop, Visual Studio's git integration) that seems ropy. Just using git on the command line, the only time I've had trouble is when I forgot to ssh-agent/pageant.exe my keys.

I recently started using GitHubDesktop and I find it obscures the git paradigm.  I'd second using the command line because it helps you unlearn the paradigms you have from other version control systems you've used.
Search for "tips moving from xxx to git" etc...    And my personal tip, to help internalize the git paradigm avoid the convenience commands for a few weeks...
* use "git fetch" followed by "git merge" separately instead of "git pull" (and also try something like "git diff origin" before merging)
* use "git branch" followed by "git checkout" instead of "git checkout -b"

cheers -ben


 


Reply | Threaded
Open this post in threaded view
|

Re: Unable to open pull request via GitHub for squeak.org website repository

Hannes Hirzel
+1 for working with git from the command line. It is much easier and
less confusing. The effort put into it pays off quickly.

Maybe we should post a 'cheat sheet' with the few relevant commands to
work with the squeak.org web site to the Swiki.

--Hannes

On 8/25/17, Ben Coman <[hidden email]> wrote:

> On Fri, Aug 25, 2017 at 2:59 AM, Frank Shearar <[hidden email]>
> wrote:
>
>> On 23 August 2017 at 16:38, tim Rowledge <[hidden email]> wrote:
>>
>>>
>>> > On 23-08-2017, at 11:16 AM, Frank Shearar <[hidden email]>
>>> wrote:
>>> >
>>> > At the risk of also sounding a bit like Obvious Man, you're doing
>>> something like "git push origin mybranch" in your shell while in your
>>> browser you're logged in? Are you using HTTPS auth or SSH auth for your
>>> push? (You can tell by looking at the URI printed out by "git remote
>>> -v".)
>>> 'Cos it sounds a whole lot like git running in the shell doesn't know
>>> your
>>> auth details.
>>>
>>> I’m currently using GitHubDesktop on my iMac, because that’s what opened
>>> up when I cloned the squeak.org repository. Your question reads to my
>>> untutored eyes a bit like religious tracts - a sliding window across
>>> three
>>> syllables seems to make sense but when you try to put it all together...
>>> not so much.
>>>
>>
>> My work is done! Pay me, and enter the Kingdom of Git!
>>
>>>
>>> I appear to be logged in when looking at github in Safari, and
>>> GitHubDesktop preferences tells me likewise.
>>>
>>
>> Right, that answers my question. I wondered whether you were doing
>> something silly like looking at your browser, seeing that you were logged
>> in _there_ and then from an entirely disconnected process (your shell)
>> expected the shell to know about the browser's authenticated session.
>> Hence
>> "Obvious Man". I will have to bow out the conversation: I don't use
>> GitHubDesktop. Tried it years ago, but it did nothing for me that
>> git/gitk
>> didn't give me from the CLI.
>>
>>
>> Version control systems; I think someone forgot the initial ‘a’ in that
>>> spelling.
>>>
>>
>> I dunno. In my experience, it's the fancy version control tools
>> (GitHubDesktop, Visual Studio's git integration) that seems ropy. Just
>> using git on the command line, the only time I've had trouble is when I
>> forgot to ssh-agent/pageant.exe my keys.
>>
>
> I recently started using GitHubDesktop and I find it obscures the git
> paradigm.  I'd second using the command line because it helps you unlearn
> the paradigms you have from other version control systems you've used.
> Search for "tips moving from xxx to git" etc...    And my personal tip, to
> help internalize the git paradigm avoid the convenience commands for a few
> weeks...
> * use "git fetch" followed by "git merge" separately instead of "git pull"
> (and also try something like "git diff origin" before merging)
> * use "git branch" followed by "git checkout" instead of "git checkout -b"
>
> cheers -ben
>

Reply | Threaded
Open this post in threaded view
|

Re: Unable to open pull request via GitHub for squeak.org website repository

K K Subbu
In reply to this post by Ben Coman
On Friday 25 August 2017 09:55 AM, Ben Coman wrote:
>
> I recently started using GitHubDesktop and I find it obscures the git
> paradigm.  I'd second using the command line because it helps you
> unlearn the paradigms you have from other version control systems you've
> used.
> Search for "tips moving from xxx to git" etc...    And my personal tip,
> to help internalize the git paradigm avoid the convenience commands for
> a few weeks...

Very true. Git uses the term plumbing (core commands) and porcelain
(convenience commands). I found plumbing easier to understand than
porcelain. Porcelain is handy once you "git" it. The new vocab does take
some time to get used to ;-).

FWIW, https://youtu.be/MYP56QJpDr4 has a live session on git plumbing
(~55mins).

Regards .. Subbu

Reply | Threaded
Open this post in threaded view
|

Re: Unable to open pull request via GitHub for squeak.org website repository

timrowledge
In reply to this post by Frank Shearar-3

> On 24-08-2017, at 11:59 AM, Frank Shearar <[hidden email]> wrote:
> My work is done! Pay me, and enter the Kingdom of Git!

I bow before thee Oh Mighty Master Git!

>
>> Version control systems; I think someone forgot the initial ‘a’ in that spelling.
>>
> I dunno. In my experience, it's the fancy version control tools (GitHubDesktop, Visual Studio's git integration) that seems ropy. Just using git on the command line, the only time I've had trouble is when I forgot to ssh-agent/pageant.exe my keys.

I think that there in a nutshell is the problem with so many of todays bits of software.

tim
--
tim Rowledge; [hidden email]; http://www.rowledge.org/tim
There *are* worse crimes than burning books.  One of them is not reading them.




Reply | Threaded
Open this post in threaded view
|

Re: Unable to open pull request via GitHub for squeak.org website repository

timrowledge
In reply to this post by K K Subbu
I simply don’t have the spare time and brain to worry about this nonsense anymore, so here is my proposed replacement _projects/scratch.md file along with a request to the web team to make use of it.

---
title:      Scratch
front-page: true
img-src:    projects/scratch.svg
href:       http://wiki.squeak.org/squeak/5833
---
Scratch lets you build programs like you build Lego(tm) - stacking blocks together. It helps you learn to think in a creative fashion, understand logic, and build fun projects. Scratch is pre-installed in the [current Raspbian image for the Raspberry Pi](https://www.raspberrypi.org/learning/getting-started-with-scratch/){:target=_blank}.

<!--
Scratch is a project of the Lifelong-Kindergarten-Group at the MIT Media Lab.
-->


tim
--
tim Rowledge; [hidden email]; http://www.rowledge.org/tim
No single raindrop believes it is to blame for the flood



Reply | Threaded
Open this post in threaded view
|

Re: Unable to open pull request via GitHub for squeak.org website repository

fniephaus
Hi Tim,

On Fri, Aug 25, 2017 at 5:31 PM tim Rowledge <[hidden email]> wrote:
I simply don’t have the spare time and brain to worry about this nonsense anymore, so here is my proposed replacement _projects/scratch.md file along with a request to the web team to make use of it.

Did you know that you can edit the file and open a PR directly on GitHub [1]?

Best,
Fabio

 

---
title:      Scratch
front-page: true
img-src:    projects/scratch.svg
href:       http://wiki.squeak.org/squeak/5833
---
Scratch lets you build programs like you build Lego(tm) - stacking blocks together. It helps you learn to think in a creative fashion, understand logic, and build fun projects. Scratch is pre-installed in the [current Raspbian image for the Raspberry Pi](https://www.raspberrypi.org/learning/getting-started-with-scratch/){:target=_blank}.

<!--
Scratch is a project of the Lifelong-Kindergarten-Group at the MIT Media Lab.
-->


tim
--
tim Rowledge; [hidden email]; http://www.rowledge.org/tim
No single raindrop believes it is to blame for the flood





Reply | Threaded
Open this post in threaded view
|

Re: Unable to open pull request via GitHub for squeak.org website repository

timrowledge

> On 25-08-2017, at 2:49 PM, Fabio Niephaus <[hidden email]> wrote:
> Did you know that you can edit the file and open a PR directly on GitHub [1]?

Umm, maybe. I have this vague feeling I have actually done that at some point…

Anyway, I did it, saved stuff, opened a pull request etc. Hopefully it actually did what I think it did!

tim
--
tim Rowledge; [hidden email]; http://www.rowledge.org/tim
Useful random insult:- IQ = dx / (1 + dx), where x = age.



Reply | Threaded
Open this post in threaded view
|

Re: Unable to open pull request via GitHub for squeak.org website repository

fniephaus


On Fri, Aug 25, 2017 at 10:12 PM tim Rowledge <[hidden email]> wrote:

> On 25-08-2017, at 2:49 PM, Fabio Niephaus <[hidden email]> wrote:
> Did you know that you can edit the file and open a PR directly on GitHub [1]?

Umm, maybe. I have this vague feeling I have actually done that at some point…

Anyway, I did it, saved stuff, opened a pull request etc. Hopefully it actually did what I think it did!

Just merged it and it's live!
 

tim
--
tim Rowledge; [hidden email]; http://www.rowledge.org/tim
Useful random insult:- IQ = dx / (1 + dx), where x = age.





Reply | Threaded
Open this post in threaded view
|

Re: Unable to open pull request via GitHub for squeak.org website repository

timrowledge

> On 25-08-2017, at 9:15 PM, Fabio Niephaus <[hidden email]> wrote:
>
>
>
> On Fri, Aug 25, 2017 at 10:12 PM tim Rowledge <[hidden email]> wrote:
>
> > On 25-08-2017, at 2:49 PM, Fabio Niephaus <[hidden email]> wrote:
> > Did you know that you can edit the file and open a PR directly on GitHub [1]?
>
> Umm, maybe. I have this vague feeling I have actually done that at some point…
>
> Anyway, I did it, saved stuff, opened a pull request etc. Hopefully it actually did what I think it did!
>
> Just merged it and it's live!

Thank you. Now all we need os to find an appropriate place for the downloadable image to live.


tim
--
tim Rowledge; [hidden email]; http://www.rowledge.org/tim
Strange OpCodes: EOS: Erase Operating System



Reply | Threaded
Open this post in threaded view
|

Re: Unable to open pull request via GitHub for squeak.org website repository

David T. Lewis
On Sat, Aug 26, 2017 at 11:21:41AM -0700, tim Rowledge wrote:

>
> > On 25-08-2017, at 9:15 PM, Fabio Niephaus <[hidden email]> wrote:
> >
> >
> >
> > On Fri, Aug 25, 2017 at 10:12 PM tim Rowledge <[hidden email]> wrote:
> >
> > > On 25-08-2017, at 2:49 PM, Fabio Niephaus <[hidden email]> wrote:
> > > Did you know that you can edit the file and open a PR directly on GitHub [1]?
> >
> > Umm, maybe. I have this vague feeling I have actually done that at some point???
> >
> > Anyway, I did it, saved stuff, opened a pull request etc. Hopefully it actually did what I think it did!
> >
> > Just merged it and it's live!
>
> Thank you. Now all we need os to find an appropriate place for the downloadable image to live.
>

I should think that a NuScratch folder on http://files.squeak.org would qualify
as appropriate.

Dave