When the master branch changes
Then gitlab should warn the production server
 And the production server should pull the changes