It is possible for a fork not to have a source anymore, in this case
we don't need to keep track of the push event.