Hi All. I am preparing my first PR, for some updates to the website, and had a question:
Is the current version of the website, such as the contributors page here: https://zeppelin.apache.org/contribution/contributions.html ...actually located in the GitHub repo? My upcoming PR is about the now-outdated reference to travis-ci and I searched for that string, using the built-in GitHub search, against the GitHub repo here: https://github.com/apache/zeppelin ..and the only result is a single mention in a shell/PTY4J.md <https://github.com/apache/zeppelin/blob/ed958b538d67539cc8bc232668cce1163f51c468/shell/PTY4J.md?plain=1#L22> file. The same page says that the official site for Zeppelin is http://git.apache.org/zeppelin.git but trying to retrieve that URL results in a 404 error. My upcoming PR is a change for the contributors page and I don't see the source for the website, but of course I could be overlooking it. Running: grep -c -i "travis-ci" *.md ...in the subdirectory 'docs/development/contribution' returns no matches. Thanks in advance for any insight you can provide. Bill
