How many days after 2022-08-01 will Manifold PR#701 get merged? (Gift cards)
297
expected
How do these resolve if the PR is closed and reopened?
0

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

My next step is automated creation, which will let me put this kind of language into the description more easily
0
@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.
0
Play-money betting
Mana (M$) is the play-money used by our platform to keep track of your bets. It's completely free for you and your friends to get started!
A trader bought M$100 of HIGHER from 62 to 297
13 days ago
A trader bought M$5 of HIGHER from 54 to 62
13 days ago
A trader bought M$3 of HIGHER from 50 to 54
13 days ago
A trader sold M$3 of LOWER from 43 to 50
13 days ago
A trader bought M$4 of LOWER from 50 to 43
13 days ago
Play-money betting
Mana (M$) is the play-money used by our platform to keep track of your bets. It's completely free for you and your friends to get started!