On the start page of trilinos.github.io, there's a button labelled with "View project on GitHub":
The label on this button indicates, that it will lead to the Trilinos source code repository, however it actually ends up here in the trilinos.github.io repository. This might be the reason, why Trilinos source code specific issues are sometimes opened in the wrong issue board.
On the start page of trilinos.github.io, there's a button labelled with "View project on GitHub":
The label on this button indicates, that it will lead to the Trilinos source code repository, however it actually ends up here in the trilinos.github.io repository. This might be the reason, why Trilinos source code specific issues are sometimes opened in the wrong issue board.
Should this link be redirected to https://github.com/trilinos/Trilinos?