Makefile: production and development repos in separate paths make things more straightforward