Commit 05d9202678cf910d600c900cf99b09ad7e259157

Carlos Martín Nieto 2015-04-13T18:03:03

revwalk: reword the push text As it seems it's not quite clear what it means to push a commit, try to be more explicit about adding a new root and that we may not see this commit if it is hidden.