Carsten Heidmann authored Jun 24, 2020 and femiadeyemi committed Jun 30, 2020

change trigger for the push. It should only be executed when something has been pushed to the master branch.