[pacman-dev] Pulled changes and other things

Xavier shiningxc at gmail.com
Thu Jun 28 05:36:57 EDT 2007

2007/6/28, Andrew Fyfe <andrew at neptune-one.net>:
> For those wondering how to remove tags from remote repos...

Me, I figured out how to remove branches and tags locally but not how
to push them :)

> remove tags: git push <repo url> :tags/<tag name>
> remove branches: git push <repo url> :heads/<branch name>

Much appreciated :)

More information about the pacman-dev mailing list