9 Jan
2017
9 Jan
'17
3:23 p.m.
On Mon, 9 Jan 2017 15:13:30 +0000 Xyne <xyne@archlinux.ca> wrote:
Doug Newgard wrote:
This is normal. When packages are deleted, the repo remains; the author's name and email are from their git config, not from the AUR.
I didn't think to check if there was a package in the official repos. I assume that is preventing the recreation of the package. If that were not the case, could the package be recreated via a push? Or is something else required to recreate a deleted package?
Pushing a new commit would recreate it.