mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
10 lines
92 B
Plaintext
10 lines
92 B
Plaintext
|
|
options:
|
|
no_parent_owners: true
|
|
|
|
approvers:
|
|
- engineering-ide
|
|
|
|
labels:
|
|
- "team: IDE"
|