Skip to content

Fix: extract PR numbers using GitHub API - #37360

Closed
sfreudenthaler wants to merge 1 commit into
mainfrom
fix-release-scripts-pr-extraction
Closed

Fix: extract PR numbers using GitHub API#37360
sfreudenthaler wants to merge 1 commit into
mainfrom
fix-release-scripts-pr-extraction

Fix: extract PR numbers using GitHub API (#37201)

bb930b6
Select commit
Loading
Failed to load commit list.