Skip to content

Instantly share code, notes, and snippets.

@johnmosesman
Last active August 8, 2026 13:28
Show Gist options
  • Select an option

  • Save johnmosesman/73feb7caa31f9b76c71dffcf3b7a4812 to your computer and use it in GitHub Desktop.

Select an option

Save johnmosesman/73feb7caa31f9b76c71dffcf3b7a4812 to your computer and use it in GitHub Desktop.
Forge: metrics list scored-dot removal proof

Forge — builder Logic > Metrics list: removal of the unlabeled "scored" dot.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment