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.

Sign up for GitHub

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

Jump to bottom

#241: No install/download section #250

Merged
merged 2 commits into from
Apr 13, 2019
Merged

#241: No install/download section #250

merged 2 commits into from
Apr 13, 2019

Conversation

dgroup
Copy link
Owner

@dgroup dgroup commented Apr 13, 2019 •
edited by markdownify bot
Loading

@codecov
Copy link

codecov bot commented Apr 13, 2019 •
edited
Loading

Codecov Report

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

Impacted file tree graph

@@            Coverage Diff            @@
##             master     #250   +/-   ##
=========================================
  Coverage     77.73%   77.73%           
  Complexity      395      395           
=========================================
  Files           114      114           
  Lines          1343     1343           
  Branches         59       59           
=========================================
  Hits           1044     1044           
  Misses          261      261           
  Partials         38       38

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 8c4eb00...24030b9. Read the comment docs.

@dgroup
Copy link
Owner Author

dgroup commented Apr 13, 2019

@rultor merge

@rultor
Copy link
Collaborator

rultor commented Apr 13, 2019

@rultor merge

@dgroup OK, I'll try to merge now. You can check the progress of the merge here

@rultor rultor merged commit 24030b9 into master Apr 13, 2019
@delete-merged-branch delete-merged-branch bot deleted the 241 branch April 13, 2019 15:30
@rultor
Copy link
Collaborator

rultor commented Apr 13, 2019

@rultor merge

@dgroup Done! FYI, the full log is here (took me 2min)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@dgroup @rultor