> Palomar does keep a public preservation fork of every registered source, solely as a backup for the registry in the event that the original repository disappears.
The decision to limit git sources to Github is likely in order to be able to use Github's fork mechanism. Palomar could still offer to take a copy of the relevant commit of non-Github repositories.
Re:Palomar: A registry of Lean verified mathematics
by fuglede_ on Wednesday August 19, 2026 @10:26AM
(#49362090)
And since all they need is a particular folder structure, you don't really need anything Git at all. Any kind of blob would do, cf. e.g. how Zenodo works.
This is not the way Palomar works. From the About page (https://palomar-registry.org/about):
> Palomar does keep a public preservation fork of every registered source, solely as a backup for the registry in the event that the original repository disappears.
The decision to limit git sources to Github is likely in order to be able to use Github's fork mechanism. Palomar could still offer to take a copy of the relevant commit of non-Github repositories.