Fix the push command in the Makefile