Skip to content

Conversation

@Borda
Copy link
Collaborator

@Borda Borda commented Jun 19, 2020

What does this PR do?

adding forgotten changes

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 docs Documentation related label Jun 19, 2020
@Borda Borda requested a review from awaelchli June 19, 2020 20:44
@mergify mergify bot requested a review from a team June 19, 2020 20:45
@codecov
Copy link

codecov bot commented Jun 19, 2020

Codecov Report

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

@@          Coverage Diff           @@
##           master   #2283   +/-   ##
======================================
  Coverage      89%     89%           
======================================
  Files          69      69           
  Lines        5476    5476           
======================================
  Hits         4856    4856           
  Misses        620     620           

@Borda Borda force-pushed the docs/changelog branch 2 times, most recently from 1c85a6a to 8cfe50c Compare June 25, 2020 21:28
@Borda Borda marked this pull request as ready for review June 25, 2020 23:11
@Borda Borda added this to the 0.8.x milestone Jun 26, 2020
@Borda Borda added the ready PRs ready to be merged label Jun 26, 2020
@mergify
Copy link
Contributor

mergify bot commented Jun 27, 2020

This pull request is now in conflict... :(

@Borda Borda mentioned this pull request Jun 27, 2020
7 tasks
@Borda Borda force-pushed the docs/changelog branch 2 times, most recently from 253c66f to d30c905 Compare June 27, 2020 22:23
@mergify
Copy link
Contributor

mergify bot commented Jun 28, 2020

This pull request is now in conflict... :(

@Borda Borda changed the title missing changes 0.8.2 release & missing changes Jun 28, 2020
@mergify
Copy link
Contributor

mergify bot commented Jun 29, 2020

This pull request is now in conflict... :(

@Borda Borda changed the title 0.8.2 release & missing changes missing changes Jun 29, 2020
@Borda Borda added bug Something isn't working priority: 0 High priority task labels Jun 29, 2020
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 priority: 0 High priority task ready PRs ready to be merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants