Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
I think erldis is already packaged:
It's also in https://github.com/agner/erldis.agner/blob/0.3.2/agner.config, what I usually do is I delete the tag and then fix the typo and then push a new tag. I know this is against what git people say, but those are not typical repos, so I personally shuffle tags if necessary.