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

Add alex's website #225

Merged
merged 30 commits into from
Nov 14, 2022
Merged

Add alex's website #225

merged 30 commits into from
Nov 14, 2022

Conversation

Ericson2314
Copy link
Contributor

@Ericson2314 Ericson2314 commented Nov 7, 2022

Putting my archivist hat on, I

  1. Download the darcs repo
  2. Added uncomitted files
  3. Converted it to git
  4. Added files skipped in the conversion (? I don't know much about darcs)
  5. Used git subtree add to put in site/alex
  6. Added @andreasabel's revisions from the copy in the alex repo

I don't know if we want those binary files in this repo's history, but I think it would be good store them before blowing away that directory on the server. (One concrete reason to keep is that old bootstraps are very delicate, for example.)

simonmar and others added 18 commits June 28, 2006 05:10
darcs-hash:f31256cacd824f520cf8a310867bce0cd3f4a1e5
darcs-hash:824bad7daa1f9011cb5ea3268d751cdfbf068b3d
darcs-hash:15423d66fea9ebd4e3509e8f3442ac21e4bc7776
darcs-hash:ae211262d2b4f8ecc47421b42f57f5c7d9c614ea
darcs-hash:a1f389073bd61ad9f714fca21fb2077bf5a43ced
darcs-hash:808512723a9fe94171fbf9c0155e3fe8b2439cd8
darcs-hash:321f4552372228e959966f07153c63683f84c435
darcs-hash:b9ded3926c4cabc21c63bdfbd28c240e51172e0f
darcs-hash:83453d8813d1f888db550fd4ebc436740c070006
Ignore-this: 521356bb8d9d2992663f5886405a2577

darcs-hash:68526c25a051165790d5beb00705f8fd00bc63ed
Ignore-this: b3ce6bc01d51b17c7a64559413ce5017

darcs-hash:493decad1a525dfd40fb64f607e5532ef6a9144e
Ignore-this: cc5b693a0ba7dd8db0e26ca1dd185959

darcs-hash:699966963a7a1198a691a3e2c381b7b3f2364365
Ignore-this: 4112d18ff90b994945bce0d0373cec221dc9d0b6c93d04e57624814589642a08da35a85e033c008a

darcs-hash:f33e244b89993ff21be3d5e3dd97974f4a277c66
git-subtree-dir: site/alex
git-subtree-mainline: 3f24301
git-subtree-split: 6166578
@Ericson2314 Ericson2314 mentioned this pull request Nov 7, 2022
Copy link
Contributor

@andreasabel andreasabel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I skimmed this PR. Thanks!
If something could be wished for, that would be a README.md under site/alex explaining the content. If I understand correctly, only index.html is hooked up, the rest is for historic purposes.
I wonder whether html-OLD can be deleted, it seems to be auto-generated from the old docbook xml and is maybe anyway duplicated in one of the archives.

@tomjaguarpaw
Copy link
Collaborator

This is great, thanks! I took the liberty of pushing a commit that adds the alex/ path to the builder, so these things actually appear on the website, which I assume is the intention.

@Ericson2314
Copy link
Contributor Author

Thanks @tomjaguarpaw! I forgot how to do that.

@andreasabel I wanted to put everything in the history, but we can just delete most stuff now. Tell me what it anything is worth keeping, since you last modified the page, and I'll do it.

Only want to keep historical docs around
@Ericson2314 Ericson2314 marked this pull request as ready for review November 10, 2022 21:49
@tomjaguarpaw
Copy link
Collaborator

@Ericson2314 It looks like this PR is ready to be merged now, is that right?

@Ericson2314
Copy link
Contributor Author

@tomjaguarpaw I think so! We can improve the website more thereafter.

@tomjaguarpaw
Copy link
Collaborator

Great, we'll have to wait for another committee member to approve.

Dear Haskell.org committee members, this MR move the website's alex/ subdirectory into our repository. Currently it is just some files on the server, with no version control or oversight. Managing them from the main website repo sounds like a much better idea.

Copy link
Member

@TikhonJelvis TikhonJelvis left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sweet, looks great. Thanks for getting the contents organized and moved to this repo!

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

Successfully merging this pull request may close these issues.

5 participants