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.

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

Delete the old wiki #78

Closed
paf31 opened this issue Jun 8, 2017 · 2 comments
Closed

Delete the old wiki #78

paf31 opened this issue Jun 8, 2017 · 2 comments

Comments

@paf31
Copy link
Contributor

paf31 commented Jun 8, 2017

Now seems like a good time to remove the outdated content from the wiki. We should probably keep it active though, with links to the updated material.

@hdgarrood
Copy link
Collaborator

I went ahead and did this. If any wiki page corresponded to a file in this repo, I updated its contents to just point to the page in this repo; if the page was out of date, I simply deleted it (there weren't many of these though).

It's just the following pages left which I'm not sure what to do with:

  • PureScript-Conf-2016.md
  • PureScript-Presentations.md
  • Home.md
  • 0.7-Migration-Guide.md
  • PureScript-Conf-2015.md
  • Wikipedia-Page-Proposal.md

@paf31
Copy link
Contributor Author

paf31 commented Jun 15, 2017

Thanks very much! I say just delete them, they're in the Git history if we ever need them, and none of them are immediately useful for new users.

@paf31 paf31 closed this as completed Jun 15, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants