Suitable tool for auto-deployment of application on github

@ibacher what is currently deployed on merging is exactly what we would like to be deployed before merging, but with the unmerged pull request changes.