molybdenumsoftware / pr-tracker

A system for finding out which branches a GitHub pull request landed in
5 stars 0 forks source link

do not assume that package names are distinct from check names #26

Closed jfly closed 8 months ago

jfly commented 9 months ago

Here we (unsafely) assume that the names of our packages won't conflict with the attrset we're merging into them.

We should instead prefix the names of all the packages so uniqueness is more likely (or even guaranteed). Once idea would be to try to rework this as a deep attrset (with some sort of merge).