Skip to content

Conversation

@Borda
Copy link
Collaborator

@Borda Borda commented May 24, 2020

What does this PR do?

Fixes #1917. Followup cleaning

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 docs Documentation related ci Continuous Integration labels May 24, 2020
@mergify mergify bot requested a review from a team May 24, 2020 08:29
@Borda Borda marked this pull request as ready for review May 24, 2020 08:59
@codecov
Copy link

codecov bot commented May 24, 2020

Codecov Report

Merging #1934 into master will not change coverage.
The diff coverage is n/a.

@@          Coverage Diff           @@
##           master   #1934   +/-   ##
======================================
  Coverage      88%     88%           
======================================
  Files          74      74           
  Lines        4603    4603           
======================================
  Hits         4062    4062           
  Misses        541     541           

@Borda Borda added this to the 0.7.7 milestone May 25, 2020
@mergify mergify bot requested a review from a team May 25, 2020 09:00
@Borda Borda added the ready PRs ready to be merged label May 25, 2020
@williamFalcon williamFalcon merged commit 033ddc0 into master May 25, 2020
@Borda Borda deleted the min-req branch May 25, 2020 11:50
@Borda Borda modified the milestones: 0.7.7, 0.8.0 May 26, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Continuous Integration docs Documentation related ready PRs ready to be merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants