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

Add happy's website #226

Merged
merged 26 commits into from
Nov 14, 2022
Merged

Add happy's website #226

merged 26 commits into from
Nov 14, 2022

Conversation

Ericson2314
Copy link
Contributor

@Ericson2314 Ericson2314 commented Nov 7, 2022 •
edited
Loading

Similar to #225, 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/happy.

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 15 commits June 28, 2006 05:16
initial import
3d4582a 
darcs-hash:1cf09fa53d9f9c581d2a0276c8d013aafe801133
1.16 updates
86bfab2 
darcs-hash:dccdb4bc9f55a10a4fde271ae562edcd7ee90869
fix release date
007294b 
darcs-hash:fb5bb7683445260993d2ff9615d5845438a4fb7d
use PDF for 1.16, not PS
3d8ac28 
darcs-hash:b5ce21e0ce404baf29c8d2a97b068ba301f96897
fix RPM links
953ebec 
darcs-hash:d5fff0ef741159c85f94d04d535ac95f7e444fa4
fix link to Windows bin
6318fde 
darcs-hash:c692f1472b98fb28104953168b1f4025402805af
1.17 updates
c3b72d5 
darcs-hash:1de11294204d00b9649c63c89cf869070e6bee94
fix win32 zip link
7d7fee1 
darcs-hash:be536f93f84a73fb5f6870559fb9c7b450440648
Fix windows distribution link
4c553fa 
darcs-hash:3e3107d0d4351cfcdc8020726e49819449176b9b
update to 1.18
780ae23 
darcs-hash:ed7010e090d9b29422a0821bb3f28b04e1c5b315
@simonmar
update for 1.18.5
c739aea 
Ignore-this: 5b8d6b12a13405f6f643fd4ae3757588

darcs-hash:f9d00931b54f839bb26cbdc3d5290b1da3d4967a
@Ericson2314
Add uncommitted files from the Happy website
aa640d1 
Ignore-this: fde1d132b1cd62fc3b5434fc9673e5d52d0566a4a442c11a2e9c5e460bb203d8b3552a2fa0324e21

darcs-hash:03ea48f880aa7ad49c902df38819a3d4c4bcd6f4
@Ericson2314
Add files that didn't get ported over for some reason
34b67e3
@Ericson2314
Add 'site/happy/' from commit '34b67e39d94885ebf1588d7763f737d73d70e8be'
13da836 
git-subtree-dir: site/happy
git-subtree-mainline: 3f24301
git-subtree-split: 34b67e3
@Ericson2314
Happy is no longer handled specially
90405fb
@tomjaguarpaw
Copy link
Collaborator

Thanks! Like #225 (comment) I assume we want to add these to the builder, so that they appear on the website.

@Ericson2314 Ericson2314 marked this pull request as ready for review November 11, 2022 01:43
@Ericson2314 Ericson2314 changed the title Add happy's webite Add happy's website Nov 11, 2022
@tomjaguarpaw
Copy link
Collaborator

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

@Ericson2314
Copy link
Contributor Author

I think so!

@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 happy/ 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.

TikhonJelvis
TikhonJelvis approved these changes Nov 14, 2022
View reviewed changes
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.

Nice! The HTML/CSS style seems pretty old-fashioned... which makes sense given the commits for it go back 17 years :P

Thanks for getting the contents in this repo; it'll definitely make it easier to improve the contents down the line.

@TikhonJelvis TikhonJelvis merged commit ee3eb4f into haskell-infra:master Nov 14, 2022
@TikhonJelvis TikhonJelvis mentioned this pull request Nov 14, 2022
Closed
@Ericson2314 Ericson2314 deleted the add-happy branch November 14, 2022 15:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jaspervdj jaspervdj jaspervdj approved these changes

@TikhonJelvis TikhonJelvis TikhonJelvis approved these changes

@tomjaguarpaw tomjaguarpaw tomjaguarpaw approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@Ericson2314 @tomjaguarpaw @jaspervdj @TikhonJelvis @simonmar