Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Disable JGit? #160

Closed
ghost opened this issue Aug 10, 2018 · 3 comments
Closed

Disable JGit? #160

ghost opened this issue Aug 10, 2018 · 3 comments

Comments

@ghost
Copy link

ghost commented Aug 10, 2018

The README states we need enable JGit explicitly via useJGit, but apparently (see eg #110) this plugin uses JGit regardless.

Is there a way to disable JGit in favour of the native Git executable?
@TimMoore TimMoore mentioned this issue Oct 19, 2018
Closed
@stewSquared
Copy link

@swiesner-dlr It's been a year. Did you find a workaround?

@ghost
Copy link
Author

ghost commented Aug 26, 2019

I stopped using worktrees, I guess :)

@steinybot steinybot mentioned this issue Jul 29, 2024
Open
@mkurz
Copy link
Member

mkurz commented Oct 7, 2024

I think this issue can be closed now that

got merged.

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@eed3si9n @mkurz @stewSquared