Skip to content

chore: rename 'Community' to 'Operators' across the application #4197

chore: rename 'Community' to 'Operators' across the application

chore: rename 'Community' to 'Operators' across the application #4197

Triggered via pull request February 21, 2025 15:48
Status Success
Total duration 18s
Artifacts

auto-merge.yml

on: pull_request
auto-merge
9s
auto-merge
Fit to window
Zoom out
Zoom in

Annotations

1 warning
auto-merge
exiting early - expected PR by "dependabot[bot]", found "joeljkrb" instead