How about allowing to combine user, ref and pull information in the repo parameter? E.g., use repos="devtools#368" for installing PR 368 of devtools, and repo="gh-user/pkg/subdir@ref" to get reference ref from gh-user's repo pkg where the package lives in subdir?
Related to craigcitro/r-travis#80 (comment).
How about allowing to combine user, ref and pull information in the
repoparameter? E.g., userepos="devtools#368"for installing PR 368 of devtools, andrepo="gh-user/pkg/subdir@ref"to get referencereffromgh-user's repopkgwhere the package lives insubdir?Related to craigcitro/r-travis#80 (comment).