clan-cli/shell.nix: rename repo_root -> source #429

Merged
clan-bot merged 1 commits from DavHau-dave into main 2023-10-23 15:20:16 +00:00
Owner
No description provided.
clan-bot was assigned by DavHau 2023-10-23 15:18:33 +00:00
DavHau added 1 commit 2023-10-23 15:18:34 +00:00
clan-cli/shell.nix: rename repo_root -> source
All checks were successful
checks-impure / test (pull_request) Successful in 35s
checks / test (pull_request) Successful in 1m33s
7ddd624e8e
clan-bot merged commit 2a22348373 into main 2023-10-23 15:20:16 +00:00
Sign in to join this conversation.
No reviewers
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: clan/clan-core#429
No description provided.