Skip to content

fix: preserve github_id when penalizing miners sharing GitHub accounts#385

Open
Grizouforever wants to merge 1 commit intoentrius:testfrom
Grizouforever:fix/clean-preserve-github-id
Open

fix: preserve github_id when penalizing miners sharing GitHub accounts#385
Grizouforever wants to merge 1 commit intoentrius:testfrom
Grizouforever:fix/clean-preserve-github-id

Conversation

@Grizouforever
Copy link
Copy Markdown

Summary

  • Pass github_id=miner_evaluations[uid].github_id to the replacement MinerEvaluation in inspections.py
  • The penalty zeroing previously discarded github_id, causing downstream storage and dedup logic to treat the miner as if they had no GitHub account ('0')

Related Issues

Fixes #375 (or related)

Type of Change

  • Bug fix
  • New feature
  • Refactor
  • Documentation
  • Other

Testing

  • Tests added/updated
  • Manually tested

Checklist

  • Code follows project style guidelines
  • Self-review completed
  • Changes are documented (if applicable)

cc @anderdc @LandynDev for review

When detect_and_penalize_miners_sharing_github replaced a MinerEvaluation
with a zeroed-out copy, it only kept uid and hotkey, losing github_id.
Downstream storage and dedup logic depends on github_id being set, so
a None/default '0' value could allow stale data to persist. Pass the
original github_id to the replacement MinerEvaluation.
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