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.

Sign up for GitHub

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

Jump to bottom

Add ROCKS discourse link to home page #415

Merged
merged 1 commit into from Nov 23, 2023
Merged

Add ROCKS discourse link to home page #415

merged 1 commit into from Nov 23, 2023

Conversation

linostar
Copy link
Collaborator

@linostar linostar commented Nov 23, 2023 •
edited

  • Have you signed the CLA?

Adding more prominent links to Discourse on ROCKS home page.

cjdcordeiro
cjdcordeiro requested changes Nov 23, 2023
View reviewed changes
docs/index.rst Outdated Show resolved Hide resolved
cjdcordeiro
cjdcordeiro approved these changes Nov 23, 2023
View reviewed changes
Copy link
Collaborator

@cjdcordeiro cjdcordeiro left a comment

Choose a reason for hiding this comment

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

The failed test seems to be unrelated, so it lgtm ;) thanks

@tigarmo tigarmo merged commit b72520c into canonical:main Nov 23, 2023
10 checks passed
@linostar linostar deleted the feat/ROCKS-800 branch November 23, 2023 15:12
@cjdcordeiro cjdcordeiro added the documentation Improvements or additions to documentation label Dec 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tigarmo tigarmo tigarmo approved these changes

@cjdcordeiro cjdcordeiro cjdcordeiro approved these changes

Assignees
No one assigned
Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@linostar @tigarmo @cjdcordeiro