Jakob Schwehn

@laila-rin Good point, I actually like the initial idea from the issue (#3538) where instead of toggle in board settings, it would be an button on the right where the...

#3955 already notifies all exisiting users, this just has to be appended to work for newly joined users.

> Tbh I would prefer this to be in a separate GitHub repository :D why?

I prefer it in here, if it's in another repo I can already see information not being up to date because it was forgotten. The main repository is the most...

> Also, as far as I've seen, the GitHub action to deploy the documentation to GitHub pages is planned to run on every commit on main. With 99% of all...

That being said I don't insist on this, so if you really say this is better for the reasons described then I don't mind as well