registry_merge Namespace Reference

Functions
tuple[dict, str]	merge_one (dict new, dict|None existing)
int	main ()

Detailed Description

Merge freshly built firmware records into the registry tree. Used by CI.

    registry_merge.py --records <dir of *.json> --registry <registry tree>

A record's file name is its digest, so two commits that build byte-identical
firmware land on the same file. That is deliberate: a board running those bytes
genuinely cannot be attributed to one commit rather than the other, so the
record keeps a list of every commit known to produce it instead of pretending
the first one is the answer.

Function Documentation

main()

int registry_merge.main

(

void

)

Definition at line 49 of file registry_merge.py.

References main(), and merge_one().

merge_one()

tuple[dict, str] registry_merge.merge_one	(	dict	new,
		dict | None	existing )

Definition at line 21 of file registry_merge.py.

Referenced by main().