I think it would be a good idea to do a release of the current state of the repository before we make any significant changes to the documents when we embark on issue #115 etc., so that it will be easy for people to go back to the original(-ish) version.
baskaufs
commented
6 years ago
I think it would be a good idea to do a release of the current state of the repository before we make any significant changes to the documents when we embark on issue #115 etc., so that it will be easy for people to go back to the original(-ish) version.