Zachary Stone (Dec 09 2022 at 23:18): Zachary Stone (Dec 09 2022 at 23:18):I've finally got a proof of the main cantor space theorem on a branch. It's in no shape to merge, in part because it depends on many of the open PRs. However, most of these will create merge conflicts with Port to HB. Should I expect to wait for the port PR before we start merging things? I'm in no rush, as I can keep working in my branch. I just want to set my expectations heading into the holidays, when I'll have some free time.
Cyril Cohen (Dec 12 2022 at 11:51):I'll try to answer that this (french) afternoon
Cyril Cohen (Dec 12 2022 at 15:51):Zachary Stone said:
I've finally got a proof of the main cantor space theorem on a branch. It's in no shape to merge, in part because it depends on many of the open PRs. However, most of these will create merge conflicts with
Port to HB. Should I expect to wait for the port PR before we start merging things? I'm in no rush, as I can keep working in my branch. I just want to set my expectations heading into the holidays, when I'll have some free time.
Please do not wait a HB port to merge things, please continue as usual for now.
Notification Bot (Dec 13 2022 at 02:20):Zachary Stone has marked this topic as resolved.
Last updated: Apr 19 2024 at 11:02 UTC