Add pushInsteadOf for debian git repo