iherman
commented
1 year ago I will merge this asap, to avoid complex merge conflicts with incoming reports. #259 will be closed without merge. Hopefully, this merge gets to an equilibrium point with the github actions. Comments are still welcome, of course, but better take them on-by-one...
cc @bduga @davemanhall @TzviyaSiegman @johnfoliot @clapierre @avneeshsingh @mattgarrish @dlazin
This is a replacement for #259, which was driven into a hopeless set of merge conflicts...