This repository was archived by the owner on Jul 5, 2024. It is now read-only.
chore(github CI): use pull_request_target event for external reveiwers#479
Closed
0xmountaintop wants to merge 1 commit into
Closed
chore(github CI): use pull_request_target event for external reveiwers#4790xmountaintop wants to merge 1 commit into
pull_request_target event for external reveiwers#4790xmountaintop wants to merge 1 commit into
