If gh_p.plan is None then the entirety of github metadata failed to parse, meaning that info about project codes on github has been discarded. So we should not issue an error here. The error should only occur if both forecast and github data could be parsed into Some x and they were found to not match.
(The fact that github metadata failed to parse will have been reported as a different error, something like E20xx.)
https://github.com/alan-turing-institute/whatwhat/blob/41b775525edf72ada6610f14d1090073ef7ee6b4/lib/schedule.ml#L368-L374
If
gh_p.planisNonethen the entirety of github metadata failed to parse, meaning that info about project codes on github has been discarded. So we should not issue an error here. The error should only occur if both forecast and github data could be parsed intoSome xand they were found to not match.(The fact that github metadata failed to parse will have been reported as a different error, something like E20xx.)