Skip to content

Conversation

hansfn
Copy link
Contributor

@hansfn hansfn commented Dec 4, 2023

Use the Guru project which is official and well maintained.

Use the Guru project which is official and well maintained.
@zimbatm
Copy link
Member

zimbatm commented Dec 4, 2023

any objection @Dr-Terrible?

@zimbatm
Copy link
Member

zimbatm commented Dec 4, 2023

actually his last contrib was 3 years ago so this seems safe to merge

@zimbatm zimbatm merged commit e517d3a into direnv:master Dec 4, 2023
@hansfn hansfn mentioned this pull request Dec 4, 2023
@hansfn hansfn deleted the patch-1 branch December 4, 2023 08:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants