On Thursday, June 27, 2024 at 11:33:16 PM UTC+9 Dima Pasechnik wrote: On Thu, Jun 27, 2024 at 9:44 AM Kwankyu Lee wrote:
Tangentially related: why don't we use GitHub Discussions, for whatever discussions? Does it cost? no, it does not, but it's the question of potential importing/exporting data. It appears to be not quite supported: https://github.com/orgs/community/discussions/3315 I see. Thanks. But exporting the entire data in the drastic situation that we leave from github seems a different matter from github providing data export feature as regular API. IMHO Discussions appear as an off-shot of Issues, so that Issues are not used for not pointedly technical issues. (They also have Polls - something that is potentially useful) I agree. Discussions is for all other issues that do not fit github Issues, which is oriented for technical issues seeking solutions as PRs. We may run Discussions as a place to discuss wishlist items, questions, ideas, and planning, etc. or as developer blog. -- 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+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/d487c3b7-094f-43c9-b901-dc9c4cf31f63n%40googlegroups.com.
