Attempt weird workaround for repos not shutting down properly

This bot...