Announcement: we are approaching to the GitHub planet
89 views
Skip to first unread message
Kwankyu Lee
unread,
Feb 2, 2023, 7:56:37 PM2/2/23
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to sage-devel
It should be visible, soon!
Matthias Koeppe
unread,
Feb 2, 2023, 10:05:32 PM2/2/23
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to sage-devel
Only 10% of the final approach (import) are done, but the impatient can already take a look at https://github.com/sagemath/sage/issues: The attribution of imported issues to GitHub users and the creation of mannequins seem to work as we hoped!
On Thursday, February 2, 2023 at 4:56:37 PM UTC-8 Kwankyu Lee wrote:
It should be visible, soon!
François Bissey
unread,
Feb 2, 2023, 10:18:50 PM2/2/23
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to sage-...@googlegroups.com
It 404 for me. I am guessing it is not public yet.