fix: use pull_request.user.login instead of github.actor for bot check#2910
Merged
adamtheturtle merged 1 commit intomainfrom Mar 17, 2026
Merged
fix: use pull_request.user.login instead of github.actor for bot check#2910adamtheturtle merged 1 commit intomainfrom
adamtheturtle merged 1 commit intomainfrom
