Note that deis only supports `git push` to master, refs #419.