]> git.proxmox.com Git - mirror_linux-firmware.git/commitdiff
Merge branch 'mlimonci/robot-pr-improvements' into 'main'
authorJosh Boyer <jwboyer@redhat.com>
Tue, 14 Nov 2023 12:40:38 +0000 (12:40 +0000)
committerJosh Boyer <jwboyer@redhat.com>
Tue, 14 Nov 2023 12:40:38 +0000 (12:40 +0000)
Fixups for robot script to handle pull requests better

See merge request kernel-firmware/linux-firmware!58


Trivial merge