Re: [aur-dev] Ghost repo?

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?