Skip to content

Conversation

amercader
Copy link
Member

No description provided.

@amercader amercader mentioned this pull request May 31, 2024
@wardi wardi merged commit aea51c4 into master Jun 4, 2024
@wardi wardi deleted the backport-action-docs branch June 4, 2024 13:13
@ckanbot
Copy link

ckanbot commented Jun 4, 2024

Backport failed for dev-v2.11, because it was unable to cherry-pick the commit(s).

Please cherry-pick the changes locally and resolve any conflicts.

git fetch origin dev-v2.11
git worktree add -d .worktree/backport-8245-to-dev-v2.11 origin/dev-v2.11
cd .worktree/backport-8245-to-dev-v2.11
git switch --create backport-8245-to-dev-v2.11
git cherry-pick -x acdf7c06f8c7aa62386c3056a8dcb62fae9f5443

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants