Thanks! I've just updated the instructions that you linked to. David On Wed, Feb 8, 2023 at 8:56 PM brettpim <[email protected]> wrote:
> So is this a typo on the > <https://github.com/sagemath/trac-to-github/blob/master/docs/Migration-Trac-to-Github.md#issue-with-pr>Provisional > workflow on GitHub > <https://github.com/sagemath/trac-to-github/blob/master/docs/Migration-Trac-to-Github.md#issue-with-pr> > 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 <[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/834d6fc3-0bec-47c7-9f60-6c7e66ecd131n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/834d6fc3-0bec-47c7-9f60-6c7e66ecd131n%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_%3DgsVri6%2BkTvOOcN-9NGXJXxN1_EvNJWtcWh9NfL01%2BYw%40mail.gmail.com.
