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

Adds general tips to the docs. #162

Merged
merged 3 commits into from
Dec 19, 2023
Merged

Adds general tips to the docs. #162

merged 3 commits into from
Dec 19, 2023

Conversation

Ivan-267
Copy link
Collaborator

@Ivan-267 Ivan-267 commented Dec 18, 2023

I tried to start a general tips section with some answers to common questions.

However, not being familiar with the RL/neural net low level details, I would appreciate a review of the factual accuracy of the content, and then we can of course correct anything as needed. I didn't include every possible exception to each rule, but tried mentioning that some of these tips might have exception cases.

@Ivan-267 Ivan-267 requested a review from edbeeching December 18, 2023 17:24
@Ivan-267 Ivan-267 added the documentation Improvements or additions to documentation label Dec 18, 2023
Copy link
Owner

@edbeeching edbeeching left a comment

Choose a reason for hiding this comment

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

LGTM, thanks

@Ivan-267 Ivan-267 merged commit 6bd491b into main Dec 19, 2023
12 checks passed
@Ivan-267 Ivan-267 deleted the add_general_tips_to_docs branch December 19, 2023 17:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants