Stream: beginners

Topic: ✔ repo access

view this post on Zulip Brian Carroll (Aug 13 2021 at 22:15):

Can I look at the Roc repo? Is there some way to get access?

view this post on Zulip Folkert de Vries (Aug 13 2021 at 22:30):

@Richard Feldman has to give it to you, maybe you can DM him your github handle?

view this post on Zulip Richard Feldman (Aug 13 2021 at 22:37):

invite sent!

view this post on Zulip Brian Carroll (Aug 13 2021 at 22:38):

Thanks!

view this post on Zulip Peter Dobsan (Aug 11 2022 at 19:56):

Hey @Richard Feldman , may I have access to the Roc repo please?

view this post on Zulip Richard Feldman (Aug 11 2022 at 19:56):

sure! What GitHub username should I invite?

view this post on Zulip Peter Dobsan (Aug 11 2022 at 19:56):

pdobsan

view this post on Zulip Richard Feldman (Aug 11 2022 at 19:57):

done!

view this post on Zulip Peter Dobsan (Aug 11 2022 at 19:57):

thank you!

view this post on Zulip Notification Bot (Aug 11 2022 at 20:04):

Anton has marked this topic as resolved.

view this post on Zulip jan kili (Aug 11 2022 at 21:51):

Welcome, Peter :)

Last updated: Jul 26 2025 at 12:14 UTC