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.

Sign up for GitHub

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

Jump to bottom

HTML documentation including CMU Blog and CogTool Wordpress #11

Closed
justingeeslin opened this issue Jun 10, 2020 · 2 comments · Fixed by #13 or #12
Closed

HTML documentation including CMU Blog and CogTool Wordpress #11

justingeeslin opened this issue Jun 10, 2020 · 2 comments · Fixed by #13 or #12
Assignees
@justingeeslin
Labels
documentation Improvements or additions to documentation
Projects
Documentation

Comments

@justingeeslin
Copy link
Member

A good history of CogTool's impact can be found on the Wayback machine for the CMU CogTool site. Would like to reincarnate this site as a in-branch site.

Also, a Wordpress blog contains a bit more recent history.
@justingeeslin justingeeslin added this to To do in Documentation via automation Jun 10, 2020
@justingeeslin justingeeslin added the documentation Improvements or additions to documentation label Jun 10, 2020
@justingeeslin justingeeslin self-assigned this Jun 10, 2020
@justingeeslin justingeeslin moved this from To do to In progress in Documentation Jun 10, 2020
This was linked to pull requests Jun 10, 2020
GitHub pages insists on HTTPS #13
Merged
Init Docs with CMU News pages from Wayback Machine + (some of) the co… #12
Merged
@justingeeslin
Copy link
Member Author

I'm going to do a once over to make sure:

  1. Links are working
  2. For web pages that are still available online the docs do not rely on the Wayback Machine link
  3. that I didn't skip anything from the blogs / news pages.

@justingeeslin
Copy link
Member Author

There are some broken links, but I'll create separate issues for these as I find them.

Documentation automation moved this from In progress to Done Jul 1, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@justingeeslin justingeeslin

Labels
documentation Improvements or additions to documentation
Projects
Documentation
  
Done
Milestone
No milestone
1 participant
@justingeeslin