Skip to content
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.

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

Rename Leader to Operator #3063

Merged
merged 15 commits into from
Feb 25, 2025
Merged

Rename Leader to Operator #3063

merged 15 commits into from
Feb 25, 2025

Conversation

flopez7
Copy link
Contributor

@flopez7 flopez7 commented Jan 31, 2025

Issue tracking

#3018

Context behind the change

Rename leader references to operator.

How has this been tested?

Launched fortune locally, created a job and followed the process from start to end.
Deployed dashboard frontend and server and tested.
Launched examples in both SDKs.
Launched all tests.

Release plan

Deploy new subgraph version and both SDKs.

Potential risks; What to monitor; Rollback plan

Check the systemn after deployment to be sure everything is working fine.

Copy link

vercel bot commented Jan 31, 2025

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
human-app ✅ Ready (Inspect) Visit Preview 💬 Add feedback Feb 25, 2025 10:40am
human-dashboard-frontend ✅ Ready (Inspect) Visit Preview 💬 Add feedback Feb 25, 2025 10:40am
staking-dashboard ✅ Ready (Inspect) Visit Preview 💬 Add feedback Feb 25, 2025 10:40am
2 Skipped Deployments
Name Status Preview Comments Updated (UTC)
faucet-frontend ⬜️ Ignored (Inspect) Visit Preview Feb 25, 2025 10:40am
faucet-server ⬜️ Ignored (Inspect) Visit Preview Feb 25, 2025 10:40am

* bump: `human-protocol-sdk` upgrade to 4.0.3

* lint: applied linter

* fix: linter errors
@portuu3 portuu3 merged commit 62c0d98 into develop Feb 25, 2025
29 checks passed
@portuu3 portuu3 deleted the feat/rename-leader branch February 25, 2025 12:10
@portuu3 portuu3 mentioned this pull request Feb 25, 2025
16 tasks
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.

3 participants