[aur-general] deletion request: dino-git