How many days after 2022-08-01 will Manifold PR#701 get merged? (Gift cards)
3
100Ṁ415
resolved Sep 13
Resolved
1000

Will resolve to MAX if PR is rejected. Will resolve to the number of days after August 1st if it is merged. Note that this is an automatically managed market

https://github.com/manifoldmarkets/manifold/pull/701

Get
Ṁ1,000
to start trading!

🏅 Top traders

#NameTotal profit
1Ṁ34
2Ṁ18
3Ṁ14
Sort by:
How do these resolve if the PR is closed and reopened?
@MartinRandall If it is closed while the bot runs, it will forward it to me for approval. If when I look at the pull request it is still closed and isn't obviously about to open again, I will resolve.
My next step is automated creation, which will let me put this kind of language into the description more easily
@LivInTheLookingGlass How about an automatic challenge bet from the repo maintainer to the PR submitter. The PR stays in draft status until someone accepts the challenge.
© Manifold Markets, Inc.TermsPrivacy