[aur-general] deletion request: dino-git

[Philipp Überbacher]

Excerpts from masutu's message of 2011-02-04 18:22:35 +0100:
> Hi TUs,
> 
> can you please delete dino-git (
> http://aur.archlinux.org/packages.php?ID=33598)? I'm the maintainer of this
> package and want it to be deleted because
> a) PKGBUILD is broken, outdated and i can't get current git versions to
> compile (neither master branch nor Branch_0_2)
> b) dino is not very popular, dino has 3 votes, dino-git 0 votes, so i think,
> we can live without the git package
> 
> masutu

Popularity or the lack of it is no reason for deletion from AUR, IMHO.
Community is for the popular packages. If it doesn't build orphaning the
package is the way to go IMHO, someone else can take it over, take
what's there already or start from scratch.