Re: [sage-devel] "There was a problem saving your comment. Please try again."

David Roe

unread,

Dec 3, 2024, 3:19:44 PM12/3/24

to sage-...@googlegroups.com

What is your github username?

David

On Tue, Dec 3, 2024 at 2:56 PM Jackson Walters <jackson...@gmail.com> wrote:

It seems I am not able to add comments to issues or PRs on GitHub. Is this a GitHub issue or something specifically with Sage?
--
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 visit https://groups.google.com/d/msgid/sage-devel/0f485ed6-49d6-4044-b8d5-692f947863aen%40googlegroups.com.

Jackson Walters

unread,

Dec 3, 2024, 3:28:07 PM12/3/24

to sage-...@googlegroups.com

@jacksonwalters

It appears to be resolved - I am able to comment on issues now.

Thanks,

Jackson

To view this discussion visit https://groups.google.com/d/msgid/sage-devel/CAChs6_kzdQ%3Dx%3D8XQ0dPc6PCDt_EGjqVDQxg7fdjYsqjscx6wbA%40mail.gmail.com.

Volker Braun

unread,

Dec 3, 2024, 7:07:03 PM12/3/24

to sage-devel

There was a github outage today, looks like you found it ;)

Jackson Walters

unread,

Dec 4, 2024, 2:20:27 PM12/4/24

to sage-...@googlegroups.com

Ah! Good to hear it was just that. Thanks for letting me know.

Jackson

To view this discussion visit https://groups.google.com/d/msgid/sage-devel/a78a3a9d-8a69-449f-b1b4-d6df238841cen%40googlegroups.com.

Reply all

Reply to author

Forward