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

code guideline #1949

Merged
merged 4 commits into from
May 28, 2020
Merged

code guideline #1949

merged 4 commits into from
May 28, 2020

Conversation

Borda
Copy link
Member

@Borda Borda commented May 25, 2020

What does this PR do?

Fixes #1444 (comment)

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 May 25, 2020
@mergify mergify bot requested a review from a team May 25, 2020 22:12
@codecov
Copy link

codecov bot commented May 25, 2020

Codecov Report

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

@@          Coverage Diff           @@
##           master   #1949   +/-   ##
======================================
  Coverage      88%     88%           
======================================
  Files          74      74           
  Lines        4641    4641           
======================================
  Hits         4064    4064           
  Misses        577     577           

@mergify mergify bot requested a review from a team May 26, 2020 05:37
@Borda Borda added the ready PRs ready to be merged label May 26, 2020
.github/CONTRIBUTING.md Outdated Show resolved Hide resolved
.github/CONTRIBUTING.md Outdated Show resolved Hide resolved
@mergify mergify bot requested a review from a team May 27, 2020 01:52
Co-authored-by: Jeremy Jordan <13970565+jeremyjordan@users.noreply.github.com>
@Borda Borda added this to the 0.8.0 milestone May 27, 2020
@mergify
Copy link
Contributor

mergify bot commented May 28, 2020

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

@mergify mergify bot merged commit 8ee6d91 into master May 28, 2020
@mergify
Copy link
Contributor

mergify bot commented May 28, 2020

Great job! =)

@Borda Borda deleted the docs/code branch May 28, 2020 16:02
justusschock pushed a commit that referenced this pull request Jun 29, 2020
* code rule

* Apply suggestions from code review

Co-authored-by: Jeremy Jordan <13970565+jeremyjordan@users.noreply.github.com>

* chlog

Co-authored-by: Jeremy Jordan <13970565+jeremyjordan@users.noreply.github.com>
Co-authored-by: Nicki Skafte <skaftenicki@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Documentation related ready PRs ready to be merged
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Integrate toma for automatic batch sizing
4 participants