To prevent the system from drifting too far out of sync when it doesn’t have a lock on the GPS signal, [Cristiano] is using a DS3231 I2C real-time clock module that features a high accuracy ...

There was a time when for time ... hook a socket to the module and have done, but instead it uses another of their projects, a fast edge pulse generator with the GPS output as its oscillator ...