Organizing work via github projects

[Andre Pany]

On Monday, 12 June 2023 at 15:07:41 UTC, RazvanN wrote:
> Hello everyone,
>
> I am glad to announce that following some of the Foundation's 
> meetings we have come up with concrete projects and tasks that, 
> we believe, will further improve the status quo. As Mike 
> pointed out in a former post, we have 3 tracks:
>
> [...]

Hi,

I am not sure, by scrolling down the tasks of the named arguments 
on my Android mobile there is a UI glitch and it does persist 
some changes, what exactly I am not sure. Maybe it reordered the 
tasks, sorry!

Kind regards
Andre