Cleaning is also fine, it is easily doable from gui. ( for cleaning
local mess I recommend to use `git remote prune origin` )

or 'git fetch -p'

Michal Filka
--
To unsubscribe, e-mail: [email protected]
To contact the owner, e-mail: [email protected]

Reply via email to