How many days after September 1st will Manifold PR#830 be merged?
1
5
100
resolved Sep 12
Resolved
8.8

Resolves to MAX if rejected at time of check

Related market

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:

- If the human operator agrees:

--- 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.

----- Otherwise, resolve to MAX.

- Otherwise, a manually provided value

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.

Sep 6, 9:34pm: How many days after Septermber 1st will Manifold PR#830 be merged? → How many days after September 1st will Manifold PR#830 be merged?

Get Ṁ200 play money

🏅 Top traders

#NameTotal profit
1Ṁ5