There were several times that GitHub does not display email replies from Waldek. This is already causing headaches for me and I think this situation is bad for the collaboration of the FriCAS project.
First, I understand that, for privacy reasons or other reasons, an email based workflow can be preferred over a web based one. I can think of 2 solutions right now: 1. It seems that Waldek is using one email account for googlegroups and another email account for GitHub replies. I guess you are managing the 2 email accounts in a single email client locally. If so, I wonder if it is possible/convenient to send the reply to googlegroups/GitHub issues through 2 email accounts simultaneously. 2. Setup some GitHub Actions script to forward every GitHub issue comments to fricas-devel. Then when the issue is resolved, we can sync the status back to GitHub. - Qian -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/d12bf5f7-ff3f-5d0b-a97e-c8e3708b37cd%40gmail.com.
