Forwarded PRs: #6
Reference in New Issue
Block a user
Delete Branch "PR_python-drgn#3"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This is a forwarded pull request by AutoGits PR Review Bot
referencing the following pull request(s):
Automatic merge enabled. This will merge when all review requirements are satisfied.
Build is started in https://build.opensuse.org/project/show/home:autogits_obs_staging_bot:kernel-kdump:PR:6 .
Build is started in https://build.opensuse.org/project/show/home:autogits_obs_staging_bot:kernel-kdump:PR:6 .
Build failed
Although, the branch in the MR points to python-drgn's commit bba0fbe6f6 (which fixes the build), the OBS build in the associated project uses and older version, namely
I take it back (I got misled by the links in Gitea GUI), the MR's submodule actually points to the old 1f5e145a05.
Thanks bot, we don't want that old version. (Cc: @petesarik)
Pull request closed