This repository has been archived by the owner on Dec 31, 2019. It is now read-only.

Archive this repo #274

Open

tkurki opened this issue Dec 20, 2019 · 2 comments

tkurki commented Dec 20, 2019

If this repo is dead Github supports archiving it, that will for example disable issue creation.

Author

tkurki commented Dec 20, 2019

Consider also adding a pointer to the home in title or readme.

Owner

sailoog commented Dec 20, 2019

Yes, that should be done also for different documentation versions. Thanks for reminder.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.