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
Delete the wiki (it would be good if someone could check that anything in the wiki that might be useful has made it into the manual). Additions and further tips should just be added to the manual (and can be discussed/refined while reviewing a PR).
Remove the information that is included in the manual from the wiki, but keep the wiki as a more informal place for collecting tips and tricks to be written up in the manual at some point in the future if they are useful.
Any preferences or other options? I'd probably vote for 1 because having more than one place to look for stuff is bad.
The text was updated successfully, but these errors were encountered:
I vote for option 1 (delete the wiki): In addition to your points, the wiki content is only available through Github. The manual is updated with the repository which I think is better.
The troubleshooting information from the wiki (https://github.com/boutproject/hypnotoad/wiki) has now been included in the manual (sections https://hypnotoad.readthedocs.io/en/stable/tips-and-tricks.html and https://hypnotoad.readthedocs.io/en/stable/nonorthogonal-tips.html). It's probably not good to have multiple places for information - it's harder to search and harder to keep up to date. Options:
Any preferences or other options? I'd probably vote for 1 because having more than one place to look for stuff is bad.
The text was updated successfully, but these errors were encountered: