## Is your feature request related to a problem? Please describe 1. It's normal to add build artefacts to `.gitignore` 1. Leeways' `srcs` globs makes it easy to include unintended files ## Describe the behaviour you'd like <!-- A clear and concise description of what you want to happen. --> I'd like for `vet` to provide a warning if any files that are `.gitignore`d are part of the expanded `srcs`. ## Describe alternatives you've considered <!-- A clear and concise description of any alternative solutions or features you've considered. --> Today you can probably manually check for this using a combination of `leeway describe`, `jq` and a bit of `bash`. ## Additional context <!-- Add any other context or screenshots about the feature request here. Please also link to the related public issue in the gitpod repo --> See https://github.com/gitpod-io/gitpod/issues/14157