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.
Do we still need links to IRC and Mailinglist here? They seem to be completely dead...
There was a problem hiding this comment.
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) |
| ## 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.
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. ;-) |
3 participants
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?