# workflow: update issue on project board based on PR labels