You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Please follow these rules when submitting pull requests (PR):
make PRs as atomic as possible (don't combine unrelated changes or features into one PR)
the PR should include all necessary documentation updates (summary of the changes in the file
CHANGES,
all the details in the thbook).
Please try to be consistent with the style of existing documentation.