Re: [tw5] Discussion on GitHub: Good or bad

@TT we are in agreement. While Dev discussions on GH are a good move, I already feel the need to manage those notifications better and would not want to clutter them further with non-development related discussions. On Saturday, December 12, 2020 at 3:44:00 PM UTC+1 TiddlyTweeter wrote: > Ciao

Re: [tw5] Discussion on GitHub: Good or bad

Ciao Saq Got it! Agreed! Just want to post resistance to any idea arising everything should go GitHub! TiddlyWikiDev on GG is being retired in favour (correctly) of GH. This group isn't & any idea it should makes no sense. Best wishes TT On Saturday, 12 December 2020 at 15:36:12 UTC+1

Re: [tw5] Discussion on GitHub: Good or bad

"For the context that won't help a lot UNLESS general discussion is Dev highly relevant." @TT my comment is meant to facilitate separating the *Dev* discussions on Github from Issues and PRs. I would expect Issues and PRs to be of greater urgency, and hence would sort them differently in my

Re: [tw5] Discussion on GitHub: Good or bad

But Saq. For the context that won't help a lot UNLESS general discussion is Dev highly relevant. As far as I can see the general discussion group--vital to end users--is NOT dominantly about development of TW. Its about optimizing usage. I find it hard to see how GH is relevant to that need.

Re: [tw5] Discussion on GitHub: Good or bad

Jeremy: check the CC field of the discussion notification emails to see if there is something to filter them by. https://docs.github.com/en/free-pro-team@latest/github/managing-subscriptions-and-notifications-on-github/configuring-notifications#filtering-email-notifications On Saturday,

Re: [tw5] Discussion on GitHub: Good or bad

One thing I've discovered is that it when GitHub sends a notification email it is not possible to distinguish discussion posts from issues. That's pretty catastrophic for me because I usually triage things via filters in email. So from a core development team perspective I definitely wouldn't

Re: [tw5] Discussion on GitHub: Good or bad

Ciao Jeremy GitHub’s mission is focussed on developers, a very different audience than > TiddlyWiki. > Right. Actually GitHub Discussions ARE (I been using it) pretty easy to understand and contribute to. GitHub Discussions might make sense for the Dev group but I worry that the > whole

Re: [tw5] Discussion on GitHub: Good or bad

This is the welcome message by Jeremy Welcome to the TiddlyWiki5 developer discussion group. This is the place > for talking about TiddlyWiki core internals and development, and plugin > development issues. For general assistance with TiddlyWiki5 features, > macros, formatting, documentation,

Re: [tw5] Discussion on GitHub: Good or bad

This is the first discussion post as an idea for Tiddlywiki on GitHub discussion panel! https://github.com/Jermolene/TiddlyWiki5/discussions/5248#discussion-58631 Best wishes Mohammad On Thu, Dec 10, 2020 at 6:43 PM Jeremy Ruston wrote: > One feature of GitHub discussions is that one can

Re: [tw5] Discussion on GitHub: Good or bad

Hi Jeremy, Many thanks, I will try to be the first who post there :-) On Thu, Dec 10, 2020 at 6:43 PM Jeremy Ruston wrote: > One feature of GitHub discussions is that one can convert issues into > discussions, either individually or in bulk. I can imagine that that could > be very helpful for

Re: [tw5] Discussion on GitHub: Good or bad

One feature of GitHub discussions is that one can convert issues into discussions, either individually or in bulk. I can imagine that that could be very helpful for us. I’ve set up https://github.com/Jermolene/TiddlyWiki5/discussions and

Re: [tw5] Discussion on GitHub: Good or bad

Hi Jeremy, I think a reasonable proposal would be to move the Dev group to GitHub > discussions: > Good idea! > > * The developer community is already on GitHub because it's where the core > development happens > * Google Groups doesn't serve the developer community very well, lacking > syntax

Re: [tw5] Discussion on GitHub: Good or bad

I think a reasonable proposal would be to move the Dev group to GitHub discussions: * The developer community is already on GitHub because it's where the core development happens * Google Groups doesn't serve the developer community very well, lacking syntax highlighted code blocks, and the

Re: [tw5] Discussion on GitHub: Good or bad

On Wednesday, December 9, 2020 at 10:57:08 AM UTC+1 Jeremy Ruston wrote: > GitHub’s mission is focussed on developers, a very different audience than > TiddlyWiki. > I would love to have the "Discussions" area be opened at TiddlyWiki repo. > GitHub Discussions might make sense for the Dev

Re: [tw5] Discussion on GitHub: Good or bad

Hi Jeremy, Many thanks for clarification. I understand your concerns. --Mohammad On Wednesday, December 9, 2020 at 1:27:08 PM UTC+3:30 jeremy...@gmail.com wrote: > GitHub’s mission is focussed on developers, a very different audience than > TiddlyWiki. > > GitHub Discussions might make sense

Re: [tw5] Discussion on GitHub: Good or bad

GitHub’s mission is focussed on developers, a very different audience than TiddlyWiki. GitHub Discussions might make sense for the Dev group but I worry that the whole mis-en-scene of GitHub is much too complicated and confusing for mainstream users, and so I struggle to see us adopting it for

[tw5] Discussion on GitHub: Good or bad

GitHub has started a discussion service, so there is no need to open issue or PR. Having this forum, I am not sure if this is good or bad for Tiddlywiki to open its discussion service on GitHub. I have experimentally set up Shiraz discussion service. See