Use number instead of pull_request_number for correct output#124
Merged
AndrewGable merged 1 commit intomainfrom andrew-prOct 10, 2024
+1-1
number instead of pull_request_number for correct output#124