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

Fix link for contributing documentation #2547

Merged

Conversation

ceedubs
Copy link
Contributor

@ceedubs ceedubs commented Sep 30, 2018

Resolves #153 (okay someone else resolved this issue a while ago, but we
should be able to close out the issue when this is merged).

Resolves typelevel#153 (okay someone else resolved this issue a while ago, but we
should be able to close out the issue when this is merged).
@codecov-io
Copy link

codecov-io commented Sep 30, 2018

Codecov Report

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

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #2547   +/-   ##
=======================================
  Coverage   95.17%   95.17%           
=======================================
  Files         359      359           
  Lines        6553     6553           
  Branches      278      278           
=======================================
  Hits         6237     6237           
  Misses        316      316

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 15f4e59...246adab. Read the comment docs.

Copy link
Contributor

@easel easel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, new link works.

@LukaJCB LukaJCB merged commit 1226146 into typelevel:master Oct 1, 2018
@kailuowang kailuowang added this to the 1.5 milestone Oct 30, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Document how to document
5 participants