Things, Existence

Excerpted from notes written on 2019-04-03

Is a branch still alive if it remains locally even though it has been deleted remotely?