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

fixing docs #2227

Merged
merged 1 commit into from
Jun 17, 2020
Merged

fixing docs #2227

merged 1 commit into from
Jun 17, 2020

Conversation

Borda
Copy link
Member

@Borda Borda commented Jun 17, 2020

What does this PR do?

Fixes docs in master

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 bug Something isn't working docs Documentation related labels Jun 17, 2020
@Borda Borda added this to the 0.8.0 milestone Jun 17, 2020
@mergify mergify bot requested a review from a team June 17, 2020 21:30
@codecov
Copy link

codecov bot commented Jun 17, 2020

Codecov Report

Merging #2227 into master will not change coverage.
The diff coverage is 100%.

@@          Coverage Diff           @@
##           master   #2227   +/-   ##
======================================
  Coverage      88%     88%           
======================================
  Files          70      70           
  Lines        5380    5380           
======================================
  Hits         4727    4727           
  Misses        653     653           

@williamFalcon williamFalcon merged commit a5f7c63 into master Jun 17, 2020
@Borda Borda deleted the docs/fixs branch June 17, 2020 21:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working docs Documentation related
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants