The official method to mark an account as a bot is to submit a pull request to the Manifold repo or bother someone else into doing that. Then you have to wait until an admin approves it and merges it which can take a while. As more and more bots join Manifold, this adds a hurdle which isn't documented anywhere and makes everyone's experience worse.

The "wait for an admin to merge your PR" step is also growing longer. It used to be rare for this to take more than a week, but in the last few months these PRs have been ignored. There are four open PRs right now, the longest of which has been open for over two months.

This market will resolve yes once there is a way to mark your account as a bot either via the site UI or via some API call to the site backend. There may be a waiting period or require approval from mods, but it has to be done on the site and not via Github.