Thanks for your suggestion. Please submit a pull request to fdroiddata or request it in the forums. We’re not more related to F-Droid than anyone else.
You did not tag the 1.8.5 release and so F-Droid can’t build it. Can you tag it?
Oh sorry, we forgot that. Will be tagged soon!
Thanks for the hint, I forgot to push the tag. Here it is.
@rfc2822 same again unfortunately. Maybe you should use some automation which assists you with tagging automatically?