Allow push by commit hash (fix issue #2240)