Skip to content

Add support for specifying src path for git hooks - #96

Closed
nrdxp wants to merge 1 commit into
numtide:masterfrom
nrdxp:git-src
Closed

nrdxp wants to merge 1 commit into
numtide:masterfrom
nrdxp:git-src

Conversation

@nrdxp

@nrdxp nrdxp commented Feb 17, 2021 •

Copy link
Copy Markdown
Contributor

This only works for full-paths and so will remain as a draft unless a fix for #95 emerges.

This only works in impure evaluation mode, and only if a full path is
specified, so it's only a POC for now.
@nrdxp nrdxp changed the title Add support for specifying src path for git hooks This only works for full-paths and so will remain as a draft unless a fix for #95 emerges. Add support for specifying src path for git hooks Feb 17, 2021
@zimbatm

zimbatm commented Feb 28, 2021

Copy link
Copy Markdown
Member

Looks good! It would be nice if there was a new types.path that could resolve those relative paths.

@zimbatm
zimbatm deleted the branch numtide:master February 2, 2023 10:10
@zimbatm zimbatm closed this Feb 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants