Resolves to MAX if rejected at time of check

This market will resolve if any of the following are true:

- If the current time is past 2025-05-28 11:59:59

- If the GitHub PR manifoldmarkets/manifold#830 was merged in the past.

It will resolve based on the following decision tree:

--- Resolves based on GitHub PR manifoldmarkets/manifold#830

----- If the PR is merged, resolve to the number of days between 2022-09-01 00:00:00 and the resolution time.

Note that the bot operator reserves the right to resolve contrary to the purely automated rules to preserve the spirit of the market. All resolutions are first verified by the human operator.

The operator also reserves the right to trade on this market unless otherwise specified. Even if otherwise specified, the operator reserves the right to buy shares for subsidy or to trade for the purposes of cashing out liquidity.

How many days after Septermber 1st will Manifold PR#830 be merged?

 → How many days after September 1st will Manifold PR#830 be merged?