Sorry, the repository ~admin/apache-tomcat-8.5.78.git does not have a jndi-resources-howto.html branch!