https://github.com/GPflow/GPflow
Revision 3fd78aadb73498f1955087463478f52deb20d871 authored by st-- on 14 April 2020, 16:57:44 UTC, committed by GitHub on 14 April 2020, 16:57:44 UTC
The "other issue" template wasn't being pulled in by GitHub's "new issue chooser"(https://github.com/GPflow/GPflow/issues/new/choose) because of a parsing failure due to the use of quotes in the name: field, which is fixed by this PR (changed version obtained by putting the text with quotes into GitHub's "create an issue template" interface). Includes a few minor copyedits.
1 parent 5a5603d
Raw File
Tip revision: 3fd78aadb73498f1955087463478f52deb20d871 authored by st-- on 14 April 2020, 16:57:44 UTC
fix other-issue.md issue template (#1432)
Tip revision: 3fd78aa
.coveragerc
[report]
omit = *tests*, setup.py
exclude_lines =
    pragma: no cover
    def __repr__
    def __str__
    def _repr_html_
    def _repr_pretty_
    if self.debug:
    if settings.DEBUG
    raise AssertionError
    raise NotImplementedError
    if __name__ == .__main__.:
    print
back to top