#1016 Get the parent if the repo is not empty, fail otherwise
Merged by pingou. Opened by pingou.
check_empty_repo  into  master

Download 1016.patch

This might avoid the situation where we could end-up pushing a change
without a parent commit while the repo isn't new/empty and thus where
we shouldn't as otherwise we loose the entire history

looks good ;)

rebased

Pull-Request has been merged by pingou

Metadata