docs: add label for markets

This commit is contained in:
David Dias 2020-08-31 08:04:37 +01:00 committed by GitHub
parent 606a58bc6b
commit a4decaa188
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

7
.github/labels.yml vendored
View File

@ -26,11 +26,14 @@
color: 00A4E2
description: "Area: Chain/VM"
- name: area/chain/sync
color: 00A4E2
color: 00A4E4
description: "Area: Chain/Sync"
- name: area/chain/misc
color: 00A4E2
color: 00A4E6
description: "Area: Chain/Misc"
- name: area/markets
color: 00A4E8
description: "Area: Markets"
- name: area/sealing/fsm
color: 0bb1ed
description: "Area: Sealing/FSM"