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

Update #5

Merged
merged 8 commits into from
Aug 30, 2017
Merged

Update #5

merged 8 commits into from
Aug 30, 2017

Conversation

daviddias
Copy link
Member

@daviddias daviddias commented Aug 30, 2017 •
edited
Loading

  • Add CI
  • Update README to point users to a pinned version in IPFS
  • Ensure that local version also works

@daviddias daviddias requested a review from pgte August 30, 2017 10:22
@daviddias
Copy link
Member Author

@pgte hoping that you don't mind, I'm going ahead and merging the fixes so that users don't have to hit a wall for now. Feel free to redo my changes later if you see need.

@daviddias daviddias merged commit e0d8cbf into master Aug 30, 2017
@daviddias daviddias deleted the update branch August 30, 2017 10:24
@daviddias daviddias mentioned this pull request Aug 30, 2017
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pgte pgte Awaiting requested review from pgte

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

Successfully merging this pull request may close these issues.
1 participant
@daviddias