Skip to content
This repository was archived by the owner on Oct 4, 2020. It is now read-only.

Updates for PureScript 0.8 #11

Merged
merged 1 commit into from
Mar 1, 2016
Merged

Updates for PureScript 0.8 #11

merged 1 commit into from
Mar 1, 2016

Conversation

garyb
Copy link
Member

@garyb garyb commented Jan 22, 2016

Resolves #5

"package.json"
],
"dependencies": {
"purescript-prelude": "^0.1.0"
"purescript-prelude": "^1.0.0"
Copy link
Member Author

Choose a reason for hiding this comment

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

Before I go ahead and open a bunch of other PRs for the libraries I've been working on, are we intending on doing the bump-to-1.0 thing for this round of updates? Or should I continue with the 0.x.x versioning again?

Copy link
Contributor

Choose a reason for hiding this comment

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

I think we should bump to 1.0, but check each repo for outstanding PRs and issues which should be fixed as we go.

Copy link
Member Author

Choose a reason for hiding this comment

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

Definitely 👍 I just wanted to get the version in these PRs initially right at least.

Ideally I'd like to proceed with these by: first releasing 0.8[*], so travis can build these, and then checking each one with travis before merge/release, so that means proceeding in topological order too. I've got a whole bunch of stuff setup locally which definitely builds together, but I'd like to double check with things actually being fetchable with bower to ensure the versions are all right, etc.

[*] whenever we do do that, I'm not saying we rush into it right now 😄 - just thought I'd open PRs to help keep track of which things I've already worked on, and also to check if there are issues we want to fold in to fix as part of the 1.0.0 update

garyb added a commit that referenced this pull request Mar 1, 2016
@garyb garyb merged commit ce2fa05 into master Mar 1, 2016
@garyb garyb deleted the 0.8-updates branch March 1, 2016 00:14
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants