On Mon, 9 Jan 2017 15:13:30 +0000 Xyne <[email protected]> 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.
