Skip to content

Ensure colrev is installed in devcontainer setup#1

Open
geritwagner wants to merge 1 commit intomainfrom
codex/fix-codespaces-setup-for-colrev-package
Open

Ensure colrev is installed in devcontainer setup#1
geritwagner wants to merge 1 commit intomainfrom
codex/fix-codespaces-setup-for-colrev-package

Conversation

@geritwagner
Copy link
Contributor

Summary

  • install the colrev package automatically during the devcontainer post-start script when it is missing
  • keep the remainder of the setup flow intact so internal packages continue to install afterwards

Testing

  • not run

Codex Task

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant