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?
