fetch from draft PR not working

78 views
Skip to first unread message

brettpim

unread,
Feb 8, 2023, 2:40:00 PM2/8/23
to sage-devel
I have followed the Provisional workflow on GitHub and I think I have my remotes set up correctly.
```git remote -v``` gives
> origin    g...@github.com:brettpim/sage.git (fetch)
> origin    g...@github.com:brettpim/sage.git (push)
> trac    g...@trac.sagemath.org:sage.git (fetch)
> trac    g...@trac.sagemath.org:sage.git (push)
> upstream    g...@github.com:sagemath/sage.git (fetch)
> upstream    g...@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

David Roe

unread,
Feb 8, 2023, 2:54:07 PM2/8/23
to sage-...@googlegroups.com
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

--
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.

brettpim

unread,
Feb 8, 2023, 2:56:28 PM2/8/23
to sage-devel
So is this a typo on the Provisional workflow on GitHub instructions?

thanks
brett

David Roe

unread,
Feb 8, 2023, 3:03:03 PM2/8/23
to sage-...@googlegroups.com
Thanks!  I've just updated the instructions that you linked to.
David

Reply all
Reply to author
Forward
0 new messages