Rename to network - Githubissues

prgprg-org / prgprg-org.github.io

PRG • PRG web page with a list of events, courses and network members.

https://prgprg.org/

1 stars 3 forks source link

Closed tpetricek closed 1 month ago

tpetricek commented 1 month ago

The word "group" seems to have some unfortunate connotations at our institution, so I renamed this to "network", which seems more innocent.