v1.3.8

Roberto DePietri

@roberto.depietri

3d2eeac0 · Apply PASTRO_READY label and allow GEV name start as Gev · Jan 17, 2023

Applies the PASTRO_READY and SKYMAP_READY that conforms to January 2023 rules.