Avoid build failure if there is nothing new to push

One of those that cannot really be tested until we merge :)
@dhermes, do you see anything out of place?