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
@pitdicker this is especially aimed at you as a core contributor but others are very welcome to comment.
Currently the policies document is a wiki article which makes it easy to update but hard to notify others of changes.
For the record: I just added a section on use of unsafe.
unsafe
Suggestion: should we add a document to the main repo, e.g. doc/policies.md, which we only update via PRs?
doc/policies.md
Are there more important policies we should add here? Do we need a separate contributor guide? However, lets not add unnecessary documentation.
The text was updated successfully, but these errors were encountered:
Implemented: #544
Sorry, something went wrong.
No branches or pull requests
@pitdicker this is especially aimed at you as a core contributor but others are very welcome to comment.
Currently the policies document is a wiki article which makes it easy to update but hard to notify others of changes.
For the record: I just added a section on use of
unsafe
.Suggestion: should we add a document to the main repo, e.g.
doc/policies.md
, which we only update via PRs?Are there more important policies we should add here? Do we need a separate contributor guide? However, lets not add unnecessary documentation.
The text was updated successfully, but these errors were encountered: