Skip to content

Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR #15751

Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR

Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR #15751

The logs for this run have expired and are no longer available.