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

Update badges #439

Merged
merged 1 commit into from
Sep 26, 2021
Merged

Update badges #439

merged 1 commit into from
Sep 26, 2021

Conversation

gemelen
Copy link
Collaborator

@gemelen gemelen commented Sep 26, 2021

Replace CI status badge from Travis to GitHub Actions.
Replace chat badge from Gitter to Typelevel Discord.

Replace CI status badge from Travis to GitHub Actions.
Replace chat badge from Gitter to Typeleve Discord.
[![codecov.io](http://codecov.io/github/typelevel/cats-collections/coverage.svg?branch=master)](http://codecov.io/github/typelevel/cats-collections?branch=master)
[![Maven Central](https://img.shields.io/maven-central/v/org.typelevel/cats-collections-core_2.13.svg)](https://maven-badges.herokuapp.com/maven-central/org.typelevel/cats-collections-core_2.13)
[![Join the chat at https://gitter.im/typelevel/cats-collections](https://badges.gitter.im/typelevel/cats-collections.svg)](https://gitter.im/typelevel/cats-collections?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
[![Discord](https://img.shields.io/discord/632277896739946517?label=Typelevel%20Discord)](https://discord.gg/XF3CXcMzqD)
Copy link
Collaborator

@osleonard osleonard Sep 26, 2021

Choose a reason for hiding this comment

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

@rossabaker would it be possible to get a channel on discord for cats-collection project?

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

I don't see any technical obstacle. I'd rather wonder, if there are enough people involved in cats-collections that are or would be there.

Copy link
Member

Choose a reason for hiding this comment

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

I don't participate on Discord, but if you decide to pursue a channel, I would ask in #admin.

@gemelen gemelen mentioned this pull request Sep 26, 2021
@osleonard osleonard merged commit 7994f2f into typelevel:master Sep 26, 2021
@gemelen gemelen deleted the ci/update-badges branch January 22, 2022 08:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants