fix: use GitHub HEAD when repository branch is unspecified - #10080

fix: use GitHub HEAD when repository branch is unspecified#10080

iona-s wants to merge 2 commits into

AstrBotDevs:masterAstrBotDevs/AstrBot:masterfrom

iona-s:masteriona-s/AstrBot:masterCopy head branch name to clipboard