Re: [sage-devel] fetch from draft PR not working

2023-02-08 Thread David Roe 
Thanks!  I've just updated the instructions that you linked to.
David

On Wed, Feb 8, 2023 at 8:56 PM brettpim  wrote:

> So is this a typo on the
> Provisional
> workflow on GitHub
> 
> instructions?
>
> thanks
> brett
>
> On Wednesday, February 8, 2023 at 2:54:07 PM UTC-5 David Roe wrote:
>
>> You probably want
>> ```git fetch upstream pull/35008/head:covering_array```
>> Your fork of Sage (origin) doesn't include all of the PRs from the
>> upstream repository.
>> David
>>
>> On Wed, Feb 8, 2023 at 8:40 PM brettpim  wrote:
>>
>>> I have followed the Provisional workflow on GitHub
>>> 
>>> and I think I have my remotes set up correctly.
>>> ```git remote -v``` gives
>>> > origing...@github.com:brettpim/sage.git (fetch)
>>> > origing...@github.com:brettpim/sage.git (push)
>>> > tracg...@trac.sagemath.org:sage.git (fetch)
>>> > tracg...@trac.sagemath.org:sage.git (push)
>>> > upstreamg...@github.com:sagemath/sage.git (fetch)
>>> > upstreamg...@github.com:sagemath/sage.git (push)
>>>
>>> Now I would like to work on a draft pull request #35008
>>>  so following the workflow
>>> instructions I run
>>> ```git fetch origin pull/35008/head:covering_array```  which yields
>>> > fatal: couldn't find remote ref pull/#35008/head
>>>
>>> What am I doing wrong?
>>> thanks
>>> brett
>>>
>>> --
>>> You received this message because you are subscribed to the Google
>>> Groups "sage-devel" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to sage-devel+...@googlegroups.com.
>>> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/sage-devel/0ebe9b2e-1396-428e-b53b-da984459c3aan%40googlegroups.com
>>> 
>>> .
>>>
>> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/834d6fc3-0bec-47c7-9f60-6c7e66ecd131n%40googlegroups.com
> 
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAChs6_%3DgsVri6%2BkTvOOcN-9NGXJXxN1_EvNJWtcWh9NfL01%2BYw%40mail.gmail.com.

Re: [sage-devel] fetch from draft PR not working

2023-02-08 Thread brettpim 
So is this a typo on the 
Provisional
 
workflow on GitHub 

 
instructions?

thanks
brett

On Wednesday, February 8, 2023 at 2:54:07 PM UTC-5 David Roe wrote:

> You probably want 
> ```git fetch upstream pull/35008/head:covering_array```
> Your fork of Sage (origin) doesn't include all of the PRs from the 
> upstream repository.
> David
>
> On Wed, Feb 8, 2023 at 8:40 PM brettpim  wrote:
>
>> I have followed the Provisional workflow on GitHub 
>> 
>>  
>> and I think I have my remotes set up correctly.
>> ```git remote -v``` gives
>> > origing...@github.com:brettpim/sage.git (fetch)
>> > origing...@github.com:brettpim/sage.git (push)
>> > tracg...@trac.sagemath.org:sage.git (fetch)
>> > tracg...@trac.sagemath.org:sage.git (push)
>> > upstreamg...@github.com:sagemath/sage.git (fetch)
>> > upstreamg...@github.com:sagemath/sage.git (push)
>>
>> Now I would like to work on a draft pull request #35008 
>>  so following the workflow 
>> instructions I run
>> ```git fetch origin pull/35008/head:covering_array```  which yields
>> > fatal: couldn't find remote ref pull/#35008/head
>>
>> What am I doing wrong?
>> thanks
>> brett
>>
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "sage-devel" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to sage-devel+...@googlegroups.com.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/0ebe9b2e-1396-428e-b53b-da984459c3aan%40googlegroups.com
>>  
>> 
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/834d6fc3-0bec-47c7-9f60-6c7e66ecd131n%40googlegroups.com.

Re: [sage-devel] fetch from draft PR not working

2023-02-08 Thread David Roe 
You probably want
```git fetch upstream pull/35008/head:covering_array```
Your fork of Sage (origin) doesn't include all of the PRs from the upstream
repository.
David

On Wed, Feb 8, 2023 at 8:40 PM brettpim  wrote:

> I have followed the Provisional workflow on GitHub
> 
> and I think I have my remotes set up correctly.
> ```git remote -v``` gives
> > origing...@github.com:brettpim/sage.git (fetch)
> > origing...@github.com:brettpim/sage.git (push)
> > tracg...@trac.sagemath.org:sage.git (fetch)
> > tracg...@trac.sagemath.org:sage.git (push)
> > upstreamg...@github.com:sagemath/sage.git (fetch)
> > upstreamg...@github.com:sagemath/sage.git (push)
>
> Now I would like to work on a draft pull request #35008
>  so following the workflow
> instructions I run
> ```git fetch origin pull/35008/head:covering_array```  which yields
> > fatal: couldn't find remote ref pull/#35008/head
>
> What am I doing wrong?
> thanks
> brett
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/0ebe9b2e-1396-428e-b53b-da984459c3aan%40googlegroups.com
> 
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAChs6_nT9uAsFOsgCsnLbH80%3DRRadYo%3DbhuxaJWyzw-0Mj1GTQ%40mail.gmail.com.

[sage-devel] fetch from draft PR not working

2023-02-08 Thread brettpim 
I have followed the Provisional workflow on GitHub 

 
and I think I have my remotes set up correctly.
```git remote -v``` gives
> origing...@github.com:brettpim/sage.git (fetch)
> origing...@github.com:brettpim/sage.git (push)
> tracg...@trac.sagemath.org:sage.git (fetch)
> tracg...@trac.sagemath.org:sage.git (push)
> upstreamg...@github.com:sagemath/sage.git (fetch)
> upstreamg...@github.com:sagemath/sage.git (push)

Now I would like to work on a draft pull request #35008 
 so following the workflow 
instructions I run
```git fetch origin pull/35008/head:covering_array```  which yields
> fatal: couldn't find remote ref pull/#35008/head

What am I doing wrong?
thanks
brett

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/0ebe9b2e-1396-428e-b53b-da984459c3aan%40googlegroups.com.