Skip to content

Add Metrics JSON Schema - #14

Merged
pombredanne merged 1 commit into
mainfrom
json_metrics_schema
Nov 3, 2026
Merged

pombredanne merged 1 commit into
mainfrom
json_metrics_schema

Conversation

@dicortazar

Copy link
Copy Markdown
Collaborator

Add Metrics JSON Schema

JSON Schema for the output of healthy code project

Signed-off-by: Daniel Izquierdo dicortazar@gmail.com
AI-Assisted-By: Gemini 1.5 Pro

JSON Schema for the output of healthy code project

Signed-off-by: Daniel Izquierdo <dicortazar@gmail.com>
AI-Assisted-By: Gemini 1.5 Pro
@dicortazar

Copy link
Copy Markdown
Collaborator Author

@pombredanne I have comments on:

  • $id as I use the URL of this, we may want to use raw.github... ? Any other suggestion to be aligned with your usual flow.
  • I am using the 2020 draft instead of the 2012 I've seen around here.
  • I've added the chaoss_reference field when available.

Please review :). Thanks in advance!

@TG1999 TG1999 left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!!

@pombredanne

Copy link
Copy Markdown
Member

Thanks

@pombredanne
pombredanne merged commit 1e092b8 into main Nov 3, 2026
3 of 13 checks passed
@pombredanne
pombredanne deleted the json_metrics_schema branch November 3, 2026 13:29
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