Make reopen date optional (#10)

It turns out that the API doesn't necessarily give you this. Co-authored-by: Smaug123 <patrick+github@patrickstevens.co.uk> Reviewed-on: #10
2024-02-02 16:19:57 +00:00
parent e96ae78665
commit f182c6ebad
5 changed files with 9 additions and 16 deletions
--- a/PureGym/Dto.fs
+++ b/PureGym/Dto.fs
@@ -125,7 +125,7 @@ type Gym =
        [<JsonRequired>]
        TimeZone : string
        /// This is a date-time in the format yyyy-MM-ddTHH:mm:ss+01 Europe/London
-        ReopenDate : string
+        ReopenDate : string option
    }

    /// Human-readable representation of the most important information about this gym