You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Respect gitignore (optional, off by default) #2770
Is there a reason why use-gitignore: true should not be the default?
You want transient files to be part of your sources, which would be the normal/general case.
The use-gitignore option has the potential to be very confusing in operation.
Activity
andreynering commentedon Apr 1, 2026
Hi @guettli,
Respecting
.gitignoreprobably makes sense, and there is a package we can use for that.I just don't think
use-gitignorefits well insidesources:. Maybe we can add that as a global option.guettli commentedon Apr 1, 2026
I am fine with a global options. But maybe there are edge-cases where a "per task" config is better...
trulede commentedon Apr 19, 2026
@guettli please see PR #2773, perhaps offer comments or add a review.
guettli commentedon Apr 19, 2026
@trulede thank you for the hint. I had a look. Looks good.
hookenz commentedon Jun 17, 2026
Is there a reason why
use-gitignore: trueshould not be the default?trulede commentedon Jun 17, 2026
You want transient files to be part of your sources, which would be the normal/general case.
The
use-gitignoreoption has the potential to be very confusing in operation.And then there is the "watcher" ...
vmaerten commentedon Jul 19, 2026
Done in #2773 :)
(And released)