add "Report bug" link to Einstein Toolkit sidebar item

[Roland Haas]

Is there a link somehwere on the ET website to link to the Issue tracker? If not I'd like to add it undernead the Contribute link, ie:

Index: global/navigation.php

--- global/navigation.php (revision 463) +++ global/navigation.php (working copy) @@ -16,6 +16,7 @@ <li><a href="/toolkit/capabilities/">Capabilities</a></li> <li><a href="/toolkit/community/">Mail Lists</a></li> <li><a href="/info/contribute/">Contribute</a></li> + <li><a href="https://trac.einsteintoolkit.org">Report issues</a></li> <li><a href="/info/citing/">Cite</a></li> </ul></li>

Keyword:

[Frank Löffler]

I don't like the current menu structure, but don't have the time now to think about something better. So: please commit.

[Erik Schnetter]

Applied.