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

Paket workaround #3

Merged
merged 2 commits into from
Jun 13, 2015
Merged

Paket workaround #3

merged 2 commits into from
Jun 13, 2015

Conversation

forki
Copy link
Contributor

@forki forki commented Jun 13, 2015

I can confirm this is a Paket bug. I will fix it next week. This is a workaround for now.

@forki
Copy link
Contributor Author

forki commented Jun 13, 2015

The octokit was removed from the dependencies file, but it's still needed in build. So I added it here too

@forki forki mentioned this pull request Jun 13, 2015
Closed
Horusiath added a commit that referenced this pull request Jun 13, 2015
@Horusiath
Merge pull request #3 from forki/paket-workaround
570b991 
Paket workaround
@Horusiath Horusiath merged commit 570b991 into Horusiath:master Jun 13, 2015
@Horusiath
Copy link
Owner

Thank you. I didn't expected, this could be an issue.

@forki
Copy link
Contributor Author

forki commented Jun 13, 2015

Me neither ;-)
On Jun 13, 2015 20:14, "Bartosz Sypytkowski" notifications@github.com
wrote:

Thank you. I didn't expected, this could be an issue.

—
Reply to this email directly or view it on GitHub
#3 (comment).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@forki @Horusiath