Delete unused authdirbadexit.git repo
Unless there are objections, lets remove this empty repository to try to declutter. We can always create a new repo in the future if we decide it is useful.
Waiting 5 days for objections (unless someone with permissions for this repo tells me it will not be useful soon).