Skip to content
This repository has been archived by the owner on Feb 11, 2021. It is now read-only.

Archiving or deleting? #1

Closed
jsignell opened this issue Feb 8, 2021 · 2 comments
Closed

Archiving or deleting? #1

jsignell opened this issue Feb 8, 2021 · 2 comments

Comments

@jsignell
Copy link
Member

jsignell commented Feb 8, 2021

It looks like this idea was never fully realized. Should this repo get archived or deleted?
@jsignell jsignell mentioned this issue Feb 8, 2021
Closed
@jrbourbeau
Copy link
Member

I'm okay with archiving or deleting. cc @TomAugspurger

@TomAugspurger
Copy link
Member

Might as well archive.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@TomAugspurger @jsignell @jrbourbeau