Task to push play version to separate git repo.

This supersedes #9 and #10