Update leap seconds data url

[trey-stafford]

The other urls no longer work. The only mirror I found is behind earthdata login.

[mfisher87]

The only mirror I found is behind earthdata login.

No way.

[mfisher87]

Looks good, but can we create a new mirror on GitHub, and then add the raw.githubcontent.whatever URL to the list? That mirror could even be part of this repo!

[trey-stafford]

Looks good, but can we create a new mirror on GitHub, and then add the raw.githubcontent.whatever URL to the list? That mirror could even be part of this repo!

This isn't a static file, so a simple copy-paste mirror could break things (in the future).

[mfisher87]

Can we have a GitHub Action on cron that updates our mirror?

[trey-stafford]

Can we have a GitHub Action on cron that updates our mirror?

🤔 perhaps so. We might need to add some code to check the validity of the file at runtime. Will add an issue to consider for the future.

[trey-stafford]

Can we have a GitHub Action on cron that updates our mirror?

🤔 perhaps so. We might need to add some code to check the validity of the file at runtime. Will add an issue to consider for the future.

Issue here: #2

Turns out the package itself contains a static copy (and without, it seems, the code to check if the file is out-of-date for the target GPS time). This package was written with (pre)OIB data in mind, which is not getting updated/added to, so the static file would work every time. As a more generic library (which we want), this approach could fail in the future when leap seconds are added/removed.