-
Bob Van Landuyt authored
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.
d7b22bde7d7a
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.