Ggit.DiffOption.RECURSE_IGNORED_DIRS – libgit2-glib-1.0 Reference Manual
RECURSE_IGNORED_DIRS
Description:
RECURSE_IGNORED_DIRS
also add all files under ignored dirs.
2022 vala-language.org