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

update core people #674

Merged
merged 4 commits into from
Dec 13, 2021
Merged

update core people #674

merged 4 commits into from
Dec 13, 2021

Conversation

Borda
Copy link
Member

@Borda Borda commented Dec 10, 2021

What does this PR do?

Fixes #<issue_number>

Before submitting

  • Was this discussed/approved via a Github issue? (no need for typos and docs improvements)
  • Did you read the contributor guideline, Pull Request section?
  • Did you make sure to update the docs?
  • Did you write any new necessary tests?

PR review

Anyone in the community is free to review the PR once the tests have passed.
If we didn't discuss your PR in Github issues there's a high chance it will not be merged.

Did you have fun?

Make sure you had fun coding 🙃

@Borda Borda added the documentation Improvements or additions to documentation label Dec 10, 2021
@codecov
Copy link

codecov bot commented Dec 10, 2021

Codecov Report

Merging #674 (fa57974) into master (8fade87) will not change coverage.
The diff coverage is n/a.

@@          Coverage Diff          @@
##           master   #674   +/-   ##
=====================================
  Coverage      95%    95%           
=====================================
  Files         166    166           
  Lines        6370   6370           
=====================================
  Hits         6065   6065           
  Misses        305    305           

@Borda Borda marked this pull request as ready for review December 10, 2021 16:04
docs/source/governance.rst Outdated Show resolved Hide resolved
docs/source/governance.rst Outdated Show resolved Hide resolved
@mergify mergify bot added the ready label Dec 11, 2021
Co-authored-by: Nicki Skafte Detlefsen <skaftenicki@gmail.com>
@Borda Borda merged commit e95f148 into master Dec 13, 2021
@Borda Borda deleted the doc/gov branch December 13, 2021 10:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation ready
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants