Scripts for launching and managing Jenkins workers for PostgreSQL build agents. Public.