Avi Kivity a81b731a1a scripts: pull_pr.sh: resolve pull request user name ...

Convert the github handle to a real name.

Closes #7247

2020-09-17 08:27:00 +02:00

1.4 KiB

Executable File

Raw Blame History

View Raw