On every push that changes relevant files, and periodically, use github-label-sync to configure the repository's issue/PR labels according to the universal, shared, and local label configuration files.
This is a duplicate of #7 which I screwed-up targeting the wrong branch :man_facepalming:
On every push that changes relevant files, and periodically, use github-label-sync to configure the repository's issue/PR labels according to the universal, shared, and local label configuration files.
This is a duplicate of #7 which I screwed-up targeting the wrong branch :man_facepalming: