Skip to content

chore: finish migration of find_release_branch to moveit_pro_ci#631

Merged
JWhitleyWork merged 1 commit into
mainfrom
move-find-release-branch-to-ci
May 15, 2026
Merged

chore: finish migration of find_release_branch to moveit_pro_ci#631
JWhitleyWork merged 1 commit into
mainfrom
move-find-release-branch-to-ci

Conversation

@shaur-k
Copy link
Copy Markdown
Collaborator

@shaur-k shaur-k commented May 15, 2026

@shaur-k shaur-k added this to the 9.4.0 milestone May 15, 2026
@shaur-k shaur-k requested a review from JWhitleyWork May 15, 2026 15:04
@shaur-k shaur-k self-assigned this May 15, 2026
@shaur-k shaur-k force-pushed the move-find-release-branch-to-ci branch from b02630a to 1305d33 Compare May 15, 2026 16:08
@shaur-k shaur-k force-pushed the move-find-release-branch-to-ci branch from 1305d33 to a26a460 Compare May 15, 2026 16:12
@JWhitleyWork JWhitleyWork enabled auto-merge May 15, 2026 16:17
@JWhitleyWork JWhitleyWork merged commit 058fb93 into main May 15, 2026
4 checks passed
@JWhitleyWork JWhitleyWork deleted the move-find-release-branch-to-ci branch May 15, 2026 16:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants