← index #677PR #11634
Related · high · value 3.932
QUERY · ISSUE

mip: github branch is incorrectly used for secondary github: sources in package.json

openby ned-pcsopened 2023-06-12updated 2023-06-12

mip version 0.2.0

When you specify a version to mip.install() to reference a particular GitHub branch, this branch is used for every github: 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.

CANDIDATE · PULL REQUEST

docs/reference/packages: add GitHub repo to package.json example as dependency

mergedby brainelectronicsopened 2023-05-27updated 2023-06-02
docs

Also add some clarification on how to use the package.json with a dependency to a GitHub repo and a branch

Keyboard

j / / n
next pair
k / / p
previous pair
1 / / h
show query pane
2 / / l
show candidate pane
c
copy suggested comment
r
toggle reasoning
g i
go to index
?
show this help
esc
close overlays

press ? or esc to close

copied