
Will Cleodora get useful pull requests by 5 or more distinct people before June 1st?
2
70Ṁ100resolved Jun 5
Resolved
NO1H
6H
1D
1W
1M
ALL
What is meant are GitHub pull requests for the Cleodora project.
Making, tracking and improving personal forecasts (e.g. the weather tomorrow or your salary in 2 years).
https://github.com/cleodora-forecasting/cleodora
Useful is simply defined as: It will be merged.
People/person is any GitHub user, unless that user clearly is a bot. GitHub users will be assumed to be distinct unless they clearly are not.
It is enough for the PRs to be open, they don't have to be merged for this market to resolve.

This question is managed and resolved by Manifold.
Get
1,000 to start trading!
🏅 Top traders
# | Name | Total profit |
---|---|---|
1 | Ṁ25 | |
2 | Ṁ8 |