Apollo-11/.github/labeler.yml

"Type: Proof":
  - "**/*.agc"
"Type: Meta":
  - "**/MAIN.agc"
  - "**/*.md"
  - "*.md"
Update labeler.yml 2020-01-05 17:48:55 +00:00			`"Type: Proof":`
Update labeler.yml 2020-07-09 17:36:06 +00:00			`- "*/.agc"`
Update labeler.yml 2020-01-05 17:48:55 +00:00			`"Type: Meta":`
Update labeler.yml 2020-06-02 01:10:24 +00:00			`- "**/MAIN.agc"`
ci(labeler): escape strings starting with * and ! 2020-06-01 22:03:03 +00:00			`- "*/.md"`
Update labeler.yml 2020-06-02 01:10:24 +00:00			`- "*.md"`