greptilian logo

IRC log for #openknot, 2019-09-02

Open Knot Communications Platform - https://github.com/openknot

| Channels | #openknot index | Today | | Search | Google Search | Plain-Text | plain, newest first | summary

All times shown according to UTC.

Time S Nick Message
13:08 pdurbin Interesting: "Public archive (coming soon)" https://zulipchat.com/for/open-source/
13:38 pdurbin Nice, there's already an example of a public archive at https://leanprover-community.github.io/archive/ which is created by https://github.com/zulip/zulip_archive
13:40 pdurbin It's described as a stopgap at https://github.com/zulip/zulip/issues/4817 ("Publicly visible streams")
14:23 prologic joined #openknot

| Channels | #openknot index | Today | | Search | Google Search | Plain-Text | plain, newest first | summary

Open Knot Communications Platform - https://github.com/openknot