-
Notifications
You must be signed in to change notification settings - Fork 3.7k
Add link to Discord server #6422
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
Conversation
## Contact | ||
|
||
- Discord: [https://discord.gg/es9CdcCXcb](join) | ||
- IRC: `irc.oftc.net`, channel: `#osrm` ([Webchat](https://webchat.oftc.net)) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do we still need links to IRC and Mailinglist here? They seem to be completely dead...
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There are some useful historical discussions in the mailing list, so good to keep as a reference. Not so sure about IRC.
| ----------------------- | ------------- | | ||
| [](https://github.com/Project-OSRM/osrm-backend/actions/workflows/osrm-backend.yml) | [](https://codecov.io/gh/Project-OSRM/osrm-backend) | | ||
|
||
[](https://github.com/Project-OSRM/osrm-backend/actions/workflows/osrm-backend.yml) [](https://codecov.io/gh/Project-OSRM/osrm-backend) [](https://discord.gg/es9CdcCXcb) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
## Contact | ||
|
||
- Discord: [https://discord.gg/es9CdcCXcb](join) | ||
- IRC: `irc.oftc.net`, channel: `#osrm` ([Webchat](https://webchat.oftc.net)) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There are some useful historical discussions in the mailing list, so good to keep as a reference. Not so sure about IRC.
FWIW, there are a few users still hanging around over there. I would not say the channel is very active but we do get occasional exchanges, mostly whenever someone pops in with a question. Having an active communication channel is great, but having the community split across different channels may be a shame. I have no strong opinion on which is the best option, but I do get that IRC can sound a bit old-fashioned nowadays. And it has the major drawback that you can't wave to say hi using fancy animal animations. ;-) |
Issue
I created Discord server for us, not sure if people will actually use it, but probably it will help building community and will allow to have ways for more interactive communications. So let's try. :)
Tasklist
Requirements / Relations
Link any requirements here. Other pull requests this PR is based on?