diff options
author | Mario Limonciello <superm1@gmail.com> | 2023-11-13 22:02:26 -0600 |
---|---|---|
committer | Mario Limonciello <superm1@gmail.com> | 2023-11-13 22:02:26 -0600 |
commit | d011ba69ebb22867aade9725cd36d6d0ab72dfe5 (patch) | |
tree | 120922f34879a9a9d639e5fd34911adc9250ce84 | |
parent | 05ac293be9443e7748c0d62207e331ce3b6464a2 (diff) | |
download | linux-firmware-d011ba69ebb22867aade9725cd36d6d0ab72dfe5.tar.gz |
Add a workaround for gitlab.freedesktop.org pull requests
Some of these pull requests are submitted using git protocol
in the pull request which b4 won't be able to handle. Manually
swap out for the https protocol.
Signed-off-by: Mario Limonciello <superm1@gmail.com>
-rwxr-xr-x | contrib/process_linux_firmware.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/contrib/process_linux_firmware.py b/contrib/process_linux_firmware.py index 46432a2d..668e35c0 100755 --- a/contrib/process_linux_firmware.py +++ b/contrib/process_linux_firmware.py @@ -145,6 +145,13 @@ def delete_branch(branch): def process_pr(mbox, num, remote): branch = "robot/pr-{}-{}".format(num, int(time.time())) + # manual fixup for PRs from drm firmware repo + if "git@gitlab.freedesktop.org:drm/firmware.git" in mbox: + mbox = mbox.replace( + "git@gitlab.freedesktop.org:drm/firmware.git", + "https://gitlab.freedesktop.org/drm/firmware.git", + ) + cmd = ["b4", "--debug", "pr", "-b", branch, "-"] logging.debug("Running {}".format(cmd)) p = subprocess.Popen( |