git - chunhualiao/public-docs GitHub Wiki

remove remote branches identical to master

checkout a branch tracking a tagged version

git checkout -b v0.11.145.257 tags/v0.11.145.257