Skip to content


Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?


update-status-page pypi-mapping versions prs bot feedstocks delete-old-runs

the actual bot in an actual place doing an actual thing

Starting and Stopping the Worker

In order to start the worker, make a commit to master with the file please.go in the top-level directory.

If you want to stop the worker, simply delete this file and it will not restart itself on the next round. When stopping the worker, make sure to add ci skip to the commit message.

What has the bot done recently?

Check out its PRs, its currently running jobs, and the status page!