One build for two repos

No further ideas come to mind, sorry. See my config file here.