7b8707e576
If the clone directory's checkout includes a target commit, then use the clone directory directly for staging (i.e., for checking dependencies and collisions). That way, changes made locally are used for metadata checks. |
||
|---|---|---|
| .. | ||
| apis.scrbl | ||
| catalog-protocol.scrbl | ||
| common.rkt | ||
| db.scrbl | ||
| dirs-catalog.scrbl | ||
| getting-started.scrbl | ||
| git-workflow.scrbl | ||
| implementation.scrbl | ||
| lib.scrbl | ||
| name.scrbl | ||
| path.scrbl | ||
| pkg.scrbl | ||
| strip.scrbl | ||