> I thought a simple git fetch would detect deleted branches?

I don't think fetch purges remote refs... Unless something has changed
from the last time I did such an operation.

I like your e-mail.

> The removal of these branches will happen on Monday March 15th.
> After the removal you will need to run "git remote prune origin"

This is an alternative that runs a fetch, followed by a prune.

git fetch --prune origin

D.

---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to