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 <[email protected]> wrote: > I have followed the Provisional workflow on GitHub > <https://github.com/sagemath/trac-to-github/blob/master/docs/Migration-Trac-to-Github.md#issue-with-pr> > and I think I have my remotes set up correctly. > ```git remote -v``` gives > > origin [email protected]:brettpim/sage.git (fetch) > > origin [email protected]:brettpim/sage.git (push) > > trac [email protected]:sage.git (fetch) > > trac [email protected]:sage.git (push) > > upstream [email protected]:sagemath/sage.git (fetch) > > upstream [email protected]:sagemath/sage.git (push) > > Now I would like to work on a draft pull request #35008 > <https://github.com/sagemath/sage/pull/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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/0ebe9b2e-1396-428e-b53b-da984459c3aan%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/0ebe9b2e-1396-428e-b53b-da984459c3aan%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAChs6_nT9uAsFOsgCsnLbH80%3DRRadYo%3DbhuxaJWyzw-0Mj1GTQ%40mail.gmail.com.
