search

GenericMappingTools / gmtserver-admin

Cache data and script for managing the GMT data server
GNU Lesser General Public License v3.0
7 stars 3 forks source link

Add a workflow to check if mirrors are offline or outdated #216

Closed seisman closed 1 year ago

seisman commented 1 year ago

@PaulWessel @Esteban82 In this PR, I added a workflow to check the "Last Modified Date" metadata of the gmt_data_server.txt file on all GMT mirrors.

The workflow is scheduled to run at 00:00 on every Sunday, and it will create an issue report if:

See https://github.com/GenericMappingTools/gmtserver-admin/issues/217 for an issue report the workflow just created. It's clear that:

My questions:

  1. We know the 4 mirrors (maybe NOAA is working) are problematic, but we can do little now. We definitely don't want to see the duplicated issue report every week. So maybe we should check these mirrors every month?
PaulWessel commented 1 year ago

Very month seems reasonable.

Esteban82 commented 1 year ago

run at 00:00 on every Sunday

UTC 0? local time in Hawaii??

Is it possible that the workflow is disabled when the repository is not used frequently?

PaulWessel commented 1 year ago

UTC time so 1 hour after midnight my time. I am guessing those two mirrors just ran the script once but did not put it in a crontab script. So no changes.

seisman commented 1 year ago

Is it possible that the workflow is disabled when the repository is not used frequently?

Yes, it's possible. But it's very likely that the workflow will always create an issue report every month, which makes the repository "active".

run at 00:00 on every Sunday

UTC 0? local time in Hawaii??

We can change it to any time you like.

Esteban82 commented 1 year ago

UTC 0? local time in Hawaii??

We can change it to any time you like.

I was just asking. Thanks!