vrr/zed
2
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2026-07-09 16:00:35 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 16

Add picker label to GitHub community PR board automation (#59905)

Browse source 
Release Notes:

- N/A
This commit is contained in:
Yara 🏳️‍⚧️ 2026-06-25 16:18:47 +02:00 • committed by GitHub
parent 99129bb29e
commit 8372eb1b13
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
script/community-pr-track-mapping.json
View file

@ -119,6 +119,7 @@
"labels": [
"area:keymap editor",
"area:popovers",
"area:pickers",
"area:preview/images",
"area:settings",
"area:settings/ui",