use multiple config files in local run script

this allows a global config to handle the stuff that’s the same for
every deployment, plus the config for the github deployment, and a
local config that overwrites the local items