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

additions doc #347

Closed
BebeSparkelSparkel opened this issue Jul 30, 2019 · 2 comments
Closed

additions doc #347

BebeSparkelSparkel opened this issue Jul 30, 2019 · 2 comments

Comments

@BebeSparkelSparkel
Copy link

Beyond add-a-package-to-the-package-set I don't see the formats to add a package.

Looking for the way to add a remote github repo from a specific branch.

@f-f
Copy link
Member

f-f commented Jul 31, 2019

There is this note in the section just above that one:

Note: you can use a "branch", a "tag" or a "commit hash" as a version. Generally it's recommended that you avoid using branches, because if you push new commits to a branch, spago won't pick them up unless you delete the .spago folder.

Would you have any suggestions on how to improve this and make it clearer?

@f-f
Copy link
Member

f-f commented Sep 21, 2019

Fixed in #398

@f-f f-f closed this as completed Sep 21, 2019
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 a pull request may close this issue.

2 participants