Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Shut down and delete this repo #6

Open
behdad opened this issue Dec 31, 2019 · 5 comments
Open

Shut down and delete this repo #6

behdad opened this issue Dec 31, 2019 · 5 comments

Comments

@behdad
Copy link
Member

behdad commented Dec 31, 2019

This is begging for noise. What problem are you trying to solve?

@be5invis
Copy link
Contributor

@davelab6 created this repository to hold ideas/proposals that is more fundamental than OTL or OtVar. One example is enabling GID > 64K.

@behdad
Copy link
Member Author

behdad commented Dec 31, 2019

What's causing this to gather random noise from the universe already? Some stupid twitter promotion?

@be5invis
Copy link
Contributor

@behdad IDK. Maybe someone else posted this.
@davelab6 Feel free to move, rename or delete this repository. But still, we need somewhere to hold proposals like Large GID or new outline format.

@davelab6
Copy link
Contributor

Now we have CommonType, I'm agreeable to do this

@alerque
Copy link

alerque commented Sep 19, 2020

GitHub's archive mode is perfect for this. No issues history destroyed but everything is clearly locked down in read-only mode so the depreciation is clear. I would close all issues and add a mention in the README first, then archive it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants