-
Notifications
You must be signed in to change notification settings - Fork 18
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
Create documentation of the contribution process - adding and implementing issues and submitting PRs #190
Comments
Include in the recommendations suggestions for solutions, where possible. |
Include issue and PR submission by non-SA contributors |
I moved everything from the wiki page into GitHub. I think there may need to be some separation between internal and public documentation, so this needs some refinement. |
Should move everything from wiki to GitHub to keep everything in one place, but remove references to, e.g., individual people. Use term "repository admins" for those who have merge permission to develop. |
See https://help.github.com/en/github/building-a-strong-community/setting-guidelines-for-repository-contributors. Should follow this model.
|
@sa-bpelakh See preceding comment - there are benefits to follow GitHub in putting this file in a folder called docs rather than doc, so I'd like to rename the folder as part of this issue. Is there an ontology-toolkit config file that needs to be updated? I'm assuming now no changes are required to ontology-toolkit itself. |
Aha, that explains it: I was looking for such a file but couldn't find one! |
Add guidelines for issue submission to documentation folder.
E.g., be specific in titles (not "typo in label" but specifically which label).
Include gist version number in the description (not title).
To submit a PR:
The text was updated successfully, but these errors were encountered: