tool-github-export/export.config.yaml at main · DevArtsLab/tool-github-export · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
version: 1

# GitHub owners to export repositories from. token_env names an env var
# holding a fine-grained PAT scoped to that owner (falls back to the default
# token when unset on a source).
sources:
  - type: organization
    login: DevArtsLab
    token_env: GH_EXPORT_TOKEN
  - type: user
    login: AmirhosseinOlyaei
    token_env: GH_EXPORT_USER_TOKEN

# Which repos enter the export at all. Excluded repos are dropped before
# the public/private split.
filters:
  include_forks: true
  include_archived: true
  include_templates: true

# Name-prefix -> category mapping. First match wins. Repos with no matching
# prefix get default_category. This is the stable field consumers filter on.
categories:
  "tool-": tool
  "devarts-": org-infra
  "devartslab-": org-infra
default_category: project

outputs:
  dir: data
  public_file: repos.public.json
  private_file: repos.private.json

# Per-repo overrides keyed by full_name ("owner/repo").
# exclude: true keeps the repo out of repos.public.json (it still appears
# in repos.private.json). featured/display_name/category/description enrich
# the entry for directory and resume consumers.
overrides:
  "DevArtsLab/tool-github-export":
    display_name: "GitHub Export"
    featured: true