You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When you specify a version to mip.install() to reference a particular GitHub branch, this branch is used for everygithub: source in the package.json, even those coming from a different repository.
The best solution to this is probably:
provide a way (perhaps an optional third field) for a URL to specify a different branch
default the branch to HEAD for secondary github: urls if they don't provide an explicit branch
In my PR #676 I have done the second part of this (default to HEAD) but not the first part yet.
The text was updated successfully, but these errors were encountered:
mip version 0.2.0
When you specify a
version
tomip.install()
to reference a particular GitHub branch, this branch is used for everygithub:
source in thepackage.json
, even those coming from a different repository.The best solution to this is probably:
github:
urls if they don't provide an explicit branchIn my PR #676 I have done the second part of this (default to HEAD) but not the first part yet.
The text was updated successfully, but these errors were encountered: