chore(ci): Apply `doc needed` label automatically on PRs#733

Merged

phated merged 3 commits intonoir-lang:masterfrom Savio-Sou:auto-label

Feb 3, 2023

+26

Commits on Feb 2, 2023

chore(github): Add PR Labeler Action (doc needed)
Savio-Sou
committed

Commits on Feb 3, 2023