Thibault Kruse

> It seems to me that there are two proposals: > - Change catkin to require a PARENT_WORKSPACES CMake variable as input and it should > ignore the CMAKE_PREFIX_PATH with...

Correct me if I am wrong, aren't the values from devel/.catkin used for generation of the RPP? So only that file would need to be sanitized.

Actually, I also needed: ``` @media (min-width: 48em) { .sidebar-sticky { position: absolute; right: 1rem; bottom: 1rem; left: 1rem; + top: 1rem; } } ```

Also consider contributing to the fork at https://github.com/cpplint/cpplint

@bkietz: You are right in that this is upstream, and https://github.com/cpplint/cpplint is an unofficial fork, so the ideal process would be to merge here first and make the fork follow....

Consider contributing to the fork at https://github.com/cpplint/cpplint

See https://github.com/google/styleguide/issues/194. Seems this is a preference of the Chromium team, which uses different internal headers that purpose. Likely those should be configured outside cpplint.py for usage outside Google.

Hi, I had extracted cpplint into an own github repo back when the google styleguide was in googlecode svn. Here: https://github.com/cpplint/cpplint I have additionally made it available at pypi: https://pypi.python.org/pypi/cpplint

syncing of tags from internal repository to github has not been working for some time, yes.

agreed, will be moved soon