Terminology fixes for migrator role commands #1401

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed

digimangos wants to merge 2 commits into github:main from digimangos:description-fixes

Closed

Terminology fixes for migrator role commands #1401

Merge branch 'main' into description-fixes

GitHub Actions / Integration Test Results - Bbs succeeded Dec 5, 2025 in 0s

All 4 tests pass in 53m 15s

4 tests 4 ✅ 53m 15s ⏱️
1 suites 0 💤
1 files 0 ❌

Results for commit 5d73273.

View more details on GitHub Actions