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]
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]