On Mon, 6 Feb 2023 at 12:31, Dima Pasechnik <dimp...@gmail.com> wrote:
> don't use git://, use ssh, i.e. > g...@github.com:sagemath/sage.git > > run > > $ git remote remove upstream > $ git remote add upstream g...@github.com:sagemath/sage.git > Thanks Dima, that worked. > > On Mon, Feb 6, 2023 at 12:13 PM John Cremona <john.crem...@gmail.com> > wrote: > > > > I am unable to pull from upstream, I get a timeout: > > > > $ git pull upstream develop > > fatal: unable to connect to github.com: > > github.com[0: 140.82.121.3]: errno=Connection timed out > > > > I can ping the same IP address OK. I think I have my remote set OK: > > > > $ git remote -v > > origin g...@github.com:JohnCremona/sage.git (fetch) > > origin g...@github.com:JohnCremona/sage.git (push) > > upstream git://github.com/sagemath/sage.git (fetch) > > upstream git://github.com/sagemath/sage.git (push) > > > > On Mon, 6 Feb 2023 at 12:04, Trevor Karn <trevor.k.k...@gmail.com> > wrote: > >> > >> I could also not add labels. > >> > >> On Monday, February 6, 2023 at 4:44:03 AM UTC-6 axio...@yahoo.de wrote: > >>> > >>> I just opened an issue (the first on github?), but I could not add > labels either. Perhaps the labels are deactivated for ordinary users? > >>> > >>> On Monday, 6 February 2023 at 10:00:52 UTC+1 Kwankyu Lee wrote: > >>>> > >>>> On Monday, February 6, 2023 at 5:47:22 PM UTC+9 Lorenz Panny wrote: > >>>> Sorry if this is answered somewhere in the new documentation, I > couldn't > >>>> find it: What is the intended procedure for migrated issues which > were in > >>>> "needs review" state and already had a branch? Am I to push the > branch to > >>>> my own fork and create a fresh pull request for each such issue? > >>>> > >>>> Yes, according to the guide: > >>>> > >>>> > https://github.com/sagemath/trac-to-github/blob/master/docs/Migration-Trac-to-Github.md#for-contributing-a-change-that-addresses-an-existing-open-issue-that-has-been-migrated-from-trac > >>>> > >>>> But the procedure is not smooth yet. I could not add labels to > >>>> > >>>> https://github.com/sagemath/sage/pull/34960 > >> > >> -- > >> 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/298b2ef2-765f-4110-9b54-25311da1f27cn%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/CAD0p0K5k%3DoBd0QLvR7ctUmeu0GcA7qJdMvxMCtyNt6Pz7rVJyw%40mail.gmail.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/CAAWYfq3R8W9zwDLtEybV3L%3D4JgtjPRKn47JcSM8kPumcj4yhzg%40mail.gmail.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/CAD0p0K6qG0aBMk9JHYjcS-Hd8J_hbnTGd_Q7a-Kk9755bZJi5w%40mail.gmail.com.