How many days after 2022-08-01 will Manifold PR#701 get merged? (Gift cards)
297
expected
Jan 1, 2023
M$115 bet
MartinRandall
Martin Randall bought M$100 of HIGHER
How do these resolve if the PR is closed and reopened?
0
LivInTheLookingGlass
Olivia bought M$5 of HIGHER
@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
LivInTheLookingGlass
Olivia is betting HIGHER
My next step is automated creation, which will let me put this kind of language into the description more easily
0
MartinRandall
Martin Randall is betting HIGHER
@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!