Skip to content

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