fetch from draft PR not working

[brettpim]

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]

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]

So is this a typo on the Provisional workflow on GitHub instructions?

thanks

brett

[David Roe]

Thanks!  I've just updated the instructions that you linked to.

David

To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/834d6fc3-0bec-47c7-9f60-6c7e66ecd131n%40googlegroups.com.