> On Nov 9, 2021, at 11:26 PM, Haowen Liu wrote:
> And thank you for that link!! I did not know it existed! (Why would they put
> it under a separate GitHub organization? That's why I didn't find it LOL)
>
>
That's a good question. I think we did it because it's a GHC-specific process,
not
On 11/10/2021 11:21 AM, Richard Eisenberg wrote:
On Nov 9, 2021, at 11:26 PM, Haowen Liu wrote:
And thank you for that link!! I did not know it existed! (Why would
they put it under a separate GitHub organization? That's why I didn't
find it LOL)
That's a good question. I think we did
