Sounds interesting. Currently issues and pull requests are separate from discussions and questions (as they are in GG) you would have to divide the github issues that way. But a whole new github repository could be fine.
Your PNG image inclusions are broken for me ! Tony On Wednesday, October 9, 2019 at 11:01:16 AM UTC+11, Cd.K wrote: > > *TonyM wrote:* >> >> >> ... after the initial exploration try and define a scope, what part of >> community participation it will support? ... >> >> > > That's a good clue. > To find out what the community really needs and can handle, I will > probably start with a browser add-on, which manipulates the result of the > GG Filter's view "set up" dialog: > > [image: 09-10-_2019_01-09-02.png] > > [image: 09-10-_2019_01-09-02.png] > Exactly here I would like to revise the google groups filter result on the > basis of the emojis in the topics, i.e. GG returns all topics and I > suppress the topics that do not meet the from the user's in the add-on > given criteria, e.g. > > - a to-do list: 📝 (at the far left) > - questions not yet answered: ❓ (at the far left) > - ... > > The users pick from given combinations by ticking a box. > > What do you think? > Would that bring an advantage to the community? However, everyone who > wants to use this advantage, must do something too. > > Regards > Cd.K > > > -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" 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/tiddlywiki/94675135-d899-4ec0-978d-0a3380faa54d%40googlegroups.com.
