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

📝 Add emoji references #304

Merged
merged 2 commits into from
Jun 7, 2021
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 4 additions & 3 deletions .github/CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -167,9 +167,10 @@ submitting the pull requests.
1. **Make a fork of the repository**, commit the modifications in a **separate
branch** and push the branch to your fork.
2. Make a pull request where you describe the motivation and expected outcome
for the users. Specifically, consider any possible incompatibilities, and
the necessity to increment the version number after your changes are
applied.
for the users. Specifically, consider any possible incompatibilities, and the
necessity to increment the version number after your changes are applied.
Label your pull request with a [semantic emoji](https://gitmoji.dev/) in the
title to indicate what it addresses.
3. After submitting the pull request, verify that all status checks (tests,
documentation) are passing. Make sure any new contribution is properly
documented and tested (you may want to check with coverage tools, using
Expand Down