pull requests for migrated issues

[Lorenz Panny]

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?

[Kwankyu Lee]

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

[Martin R]

I just opened an issue (the first on github?), but I could not add labels either.  Perhaps the labels are deactivated for ordinary users?

[Trevor Karn]

I could also not add labels.

[John Cremona]

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)

--
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/298b2ef2-765f-4110-9b54-25311da1f27cn%40googlegroups.com.

[Dima Pasechnik]

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

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAD0p0K5k%3DoBd0QLvR7ctUmeu0GcA7qJdMvxMCtyNt6Pz7rVJyw%40mail.gmail.com.

[John Cremona]

On Mon, 6 Feb 2023 at 12:31, Dima Pasechnik <dim...@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.

 

To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq3R8W9zwDLtEybV3L%3D4JgtjPRKn47JcSM8kPumcj4yhzg%40mail.gmail.com.