GPS epoch

[bhawkins]

This package helpfully defines GPS_EPOCH here


AstroTime.jl/src/Epochs/epoch_constants.jl

Line 7 in a891ffe

const GPS_EPOCH = TTEpoch(AstroDates.GPS_EPOCH, AstroDates.H00)

However, I think it's incorrect to define it in TT. It should be 1980-01-06 UTC according to wikipedia and also section 11.4.3.3 of the manual from the US Coast Guard. So the definition should be equivalent to from_utc(1980,1,6) or TAIEpoch(1980, 1, 6, 0, 0, 19.0).