gen_makefile: fix empty push-url for 'make regen'
1 file changed