We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
The git history is left over from 2016 and is making the repo gigantic.
The text was updated successfully, but these errors were encountered:
Found this
I'm not a git guru, I hesitate to do something like this unless it's sanctioned by others
Sorry, something went wrong.
Stuff like this is really dangerous and we should probably put off until a relatively slow time (e.g. after proposals & voting are over).
No branches or pull requests
The git history is left over from 2016 and is making the repo gigantic.
The text was updated successfully, but these errors were encountered: