Hi everybody! We're looking to replace the old Zephyr "code repository" with something like this. Feel free to go to town "starring" things you like on GitHub. Note this is pretty low-tech and not a "live" updated list -- someone (me) needs to run the script manually and push the updated list. To add names to the known-users.yml, you can just make a pull request.