Creating an issue on the repository of the author asking for a release and then using it. If he takes too long a git commit with version `0_git$(date)` is acceptable but we really want a tagged release