Skip to content

Move Andy Z to inactive status#887

Merged
AndyZe merged 1 commit intomoveit:mainfrom
AndyZe:andy_goes_inactive
Jan 18, 2026
Merged

Move Andy Z to inactive status#887
AndyZe merged 1 commit intomoveit:mainfrom
AndyZe:andy_goes_inactive

Conversation

@AndyZe
Copy link
Member

@AndyZe AndyZe commented Jan 15, 2026

I haven't used MoveIt in some time and recently I've been ineffective in merging PR's due to the CI situation.

Copy link
Contributor

@mikeferguson mikeferguson left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I am just active enough to approve this...

@AndyZe AndyZe merged commit 293b325 into moveit:main Jan 18, 2026
3 checks passed
@github-project-automation github-project-automation bot moved this to ✅ Done in MoveIt Jan 18, 2026
@AndyZe AndyZe deleted the andy_goes_inactive branch January 18, 2026 18:46
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