On Sat, 4 Feb 2023, 16:29 Matthias Koeppe, wrote:
> On Saturday, February 4, 2023 at 8:09:15 AM UTC-8 Dima Pasechnik wrote:
> There is no reason for "real" github accounts to be marked as mannequins.
>
> No, you are mistaken.
>
> An org can only create issues & comments in the name of its
Nathan Cohen stopped contributing to Sage definitively around the time
William started SageMathCloud (now cocalc) as he thought that William was
profiting from his work.
I couldn't find any posts from him since 2013.
John
On Sat, 4 Feb 2023, 16:29 Matthias Koeppe, wrote:
> On Saturday,
On Saturday, February 4, 2023 at 8:09:15 AM UTC-8 Dima Pasechnik wrote:
There is no reason for "real" github accounts to be marked as mannequins.
No, you are mistaken.
An org can only create issues & comments in the name of its members, not
arbitrary GitHub users.
Which is why the invites had
On Sat, Feb 4, 2023 at 12:22 PM Kwankyu Lee wrote:
>
> 2) GitHub nathanncohen is a real GitHub account, not a mannequin - and
> it corresponds to Trac's ncohen just fine.
>
> Perhaps he didn't respond to the recent invitation.
There is no reason for "real" github accounts to be marked as
On Saturday, February 4, 2023 at 4:22:55 AM UTC-8 Kwankyu Lee wrote:
2) GitHub nathanncohen is a real GitHub account, not a mannequin - and
it corresponds to Trac's ncohen just fine.
Perhaps he didn't respond to the recent invitation.
That's correct – one of many outstanding invitations
-
On Sat, Feb 4, 2023 at 7:22 AM Kwankyu Lee wrote:
>
> 2) GitHub nathanncohen is a real GitHub account, not a mannequin - and
> it corresponds to Trac's ncohen just fine.
>
> Perhaps he didn't respond to the recent invitation.
>
Dima would know better than I, but my guess is that Nathann Cohen
2) GitHub nathanncohen is a real GitHub account, not a mannequin - and
it corresponds to Trac's ncohen just fine.
Perhaps he didn't respond to the recent invitation.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this
It seems it's still being updated.
On Saturday, February 4, 2023 at 8:44:49 PM UTC+9 dim...@gmail.com wrote:
> 1) there is something funny with search - it it because it's still not
> done?
>
>
> https://github.com/sagemath/sage/issues?q=is%3Aissue+strongly+regular+is%3Aopen
>
> gives
>
> 5
1) there is something funny with search - it it because it's still not done?
https://github.com/sagemath/sage/issues?q=is%3Aissue+strongly+regular+is%3Aopen
gives
5 Open 71 Closed
No results matched your search.
so there are 5 open issues, but they are not shown. (searching
The first preview is now available at https://github.com/sagemath/sage
(it is "archived", i.e., read-only).
--
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
10 matches
Mail list logo