Values.GitHubDocumentCrawlPropertiesSourceProvides the configuration information to include certain types of GitHub content. You can configure to index repository files only, or also include issues and pull requests, comments, and comment attachments.
type nonrec t = {crawlRepositoryDocuments : Boolean.t option;TRUE to index all files with a repository.
*)crawlIssue : Boolean.t option;TRUE to index all issues within a repository.
*)crawlIssueComment : Boolean.t option;TRUE to index all comments on issues.
*)crawlIssueCommentAttachment : Boolean.t option;TRUE to include all comment attachments for issues.
*)crawlPullRequest : Boolean.t option;TRUE to index all pull requests within a repository.
*)crawlPullRequestComment : Boolean.t option;TRUE to index all comments on pull requests.
*)crawlPullRequestCommentAttachment : Boolean.t option;TRUE to include all comment attachments for pull requests.
*)}