This repository has been archived by the owner on Jan 9, 2020. It is now read-only.

Can we archive this? #20

Closed

yoavweiss opened this issue Jan 8, 2020 · 2 comments

Collaborator

yoavweiss commented Jan 8, 2020

Since this proposal was obsoleted by #16, maybe it's time to archive. Any reasons why we shouldn't?

/cc @cwilso @marcoscaceres @travisleithead

chrishtr commented Jan 8, 2020

Agreed, let's archive it.

Collaborator Author

yoavweiss commented Jan 8, 2020

Cool, archiving!

yoavweiss closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.