chiark / gitweb /
When fetching tags in git, get rid of removed ones
authorDaniel Martí <mvdan@mvdan.cc>
Wed, 22 Jan 2014 09:38:34 +0000 (10:38 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Wed, 22 Jan 2014 09:38:34 +0000 (10:38 +0100)
commitda2bb11580077b866bb624a335765aed78f75fdb
tree0102b7070b517256c9f9638a25af495822307cd5
parent41c522319b4aa9b6b06a9b17f28d18839f7b7729
When fetching tags in git, get rid of removed ones
fdroidserver/common.py