Deployment Tools

Hey guys,

We are currently working with Envoyer, however we want to switch over due migrating the entire code base. At the moment I'm looking at other PHP Deployment tools and I was wondering what you guys are using to deploy your PHP projects? (Our project is a WordPress website)