erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-09-23 16:17:40 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

Merge pull request #4973 from keymanapp/chore/labels

Browse source 
chore: Add cherry-pick label for cherry-pick PRs
This commit is contained in:
Eberhard Beilharz 2021-04-26 03:23:45 -07:00 • committed by GitHub
commit cdec9edc6f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/multi-labeler.yml vendored
View file

@ -61,3 +61,7 @@ labels:
- label: 'windows/'
matcher:
title: '\(.*windows.*\):'
- label: 'cherry-pick'
matcher:
title: '🍒'