Hacking around the 'push-commit failed' message by having a local release repository