JJK [1] filed a deletion request for batch [2]: I created a new package "batch-git" to adhere with guidelines. This one can be deleted. [1] https://aur.archlinux.org/account/JJK/ [2] https://aur.archlinux.org/pkgbase/batch/