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

DOC: information re contributing #454

Merged
merged 5 commits into from
Aug 4, 2018
Merged

DOC: information re contributing #454

merged 5 commits into from
Aug 4, 2018

Conversation

alimanfoo
Copy link
Collaborator

@alimanfoo alimanfoo commented Aug 3, 2018

This PR adds github templates for issues and PRs, and some guidance for core devs re merging PRs.

Also a minor fix for Travis, and resolves #452.

@coveralls
Copy link

coveralls commented Aug 3, 2018

Coverage Status

Coverage increased (+5.9%) to 88.807% when pulling 7c021fa on contributing-20180803 into 4a8b42b on master.

@alimanfoo alimanfoo changed the title Contributing information DOC information re contributing Aug 3, 2018
@alimanfoo alimanfoo changed the title DOC information re contributing DOC: information re contributing Aug 3, 2018
@alimanfoo
Copy link
Collaborator Author

cc @timbledum. Will merge soon if no objections.

@alimanfoo alimanfoo merged commit 02b7934 into master Aug 4, 2018
@alimanfoo alimanfoo deleted the contributing-20180803 branch August 4, 2018 10:06
@alimanfoo
Copy link
Collaborator Author

Thanks @timbledum.

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

Successfully merging this pull request may close these issues.

Update installation instructions in docs
3 participants