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

Deleting local Discord backend documentation #1615

Merged
merged 2 commits into from
Nov 25, 2022
Merged

Conversation

fernand0
Copy link
Contributor

Deleting local Discord backend documentation and linking to the external one (in readthedocs).

I've inserted in the toctree the link to the external site with a comment:

 Discord Backend (in readthedocs)

Don't know if this is the preferred style, but I selected this in order to create a new page with the link to the external documentation. Maybe the parentheses could go outside the link, but not sure.

Copy link
Contributor

@nzlosh nzlosh left a comment

Choose a reason for hiding this comment

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

LGTM

@sijis sijis merged commit c608423 into errbotio:master Nov 25, 2022
sijis added a commit to duhow/errbot that referenced this pull request Nov 25, 2022
* Deleting local Discord backend documentation and linking to the external one (in readthedocs)

* docs: add info to CHANGES

Co-authored-by: Sijis Aviles <sijis.aviles+github@gmail.com>
sijis added a commit to sijis/errbot that referenced this pull request Jan 1, 2024
* Deleting local Discord backend documentation and linking to the external one (in readthedocs)

* docs: add info to CHANGES

Co-authored-by: Sijis Aviles <sijis.aviles+github@gmail.com>
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.

None yet

4 participants