Skip to content

Chore: Remove Shaur references#748

Merged
JWhitleyWork merged 1 commit into
mainfrom
chore/remove-shaur-references
Jun 29, 2026
Merged

Chore: Remove Shaur references#748
JWhitleyWork merged 1 commit into
mainfrom
chore/remove-shaur-references

Conversation

@marty-mcfly-bot

Copy link
Copy Markdown

Motivation

Remove stale Shaur-related reviewer references from the example workspace automation.

Brief description

This PR removes shaur-k from the release-branch merge workflow's draft PR reviewer list while keeping JWhitleyWork and dsobek as reviewers.

How it was tested

  • python3 - <<'PY' ... yaml.safe_load(...) ... PY for .github/workflows/batch-merge-release-branch.yaml
  • actionlint .github/workflows/batch-merge-release-branch.yaml
  • git grep -n -I -i 'shaur' -- . ':!*.png' ':!*.jpg' ':!*.gif' returned no remaining matches.
  • pre-commit run -a

Release notes

None

@github-actions

Copy link
Copy Markdown

MoveIt Pro Example WS - Objectives Integration Test Report

@JWhitleyWork JWhitleyWork force-pushed the chore/remove-shaur-references branch from bfcb3bf to 3140942 Compare June 29, 2026 18:36
@JWhitleyWork JWhitleyWork marked this pull request as ready for review June 29, 2026 18:37
@JWhitleyWork JWhitleyWork enabled auto-merge June 29, 2026 18:37
@JWhitleyWork JWhitleyWork merged commit d1b728e into main Jun 29, 2026
12 checks passed
@JWhitleyWork JWhitleyWork deleted the chore/remove-shaur-references branch June 29, 2026 18:51
@github-actions

Copy link
Copy Markdown

MoveIt Pro Example WS - Objectives Integration Test Report

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.

1 participant