I've been trying to use webdav on iOS, but it does not work. I have created an issue on Github last october, but as no-one of the team has been replying, github keeps on trying to close the issue.
What do I have to do to report this bug and get it on the radar of the development team? I can understand that it won't be fixed immediately, but it would be a shame if this issue fell into nothingness again (an earlier issue of this by someone else was opened as early as last spring, but also was ignored and automatically closed).