Skip to content

Conversation

@dg-concordium
Copy link
Contributor

Purpose

Add a link to the Discord Concordia bot in the documentation.

Changes

(Fix unrelated issue in conf.py)
Add link to the Concordia bot for Discord in concordia.rst

Checklist

  • My code follows the style of this project.
  • The code compiles without warnings.
  • I have performed a self-review of the changes.
  • I have documented my code, in particular the intent of the
    hard-to-understand areas.
  • (If necessary) I have updated the CHANGELOG.

CLA acceptance

_Remove if not applicable.

By submitting the contribution I accept the terms and conditions of the
Contributor License Agreement v1.0

@dg-concordium dg-concordium requested a review from abizjak January 26, 2024 08:06
@dg-concordium dg-concordium added the preview Trigger a documentation preview for a PR. label Jan 26, 2024
@github-actions
Copy link

github-actions bot commented Jan 26, 2024

PR Preview Action v1.4.6
Preview removed because the pull request was closed.
2024-01-26 08:23 UTC

@dg-concordium dg-concordium merged commit dda74f3 into main Jan 26, 2024
@dg-concordium dg-concordium deleted the discord-bot-link branch January 26, 2024 08:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

preview Trigger a documentation preview for a PR.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants