Select the types of activity you want to include in your feed.
Merge pull request #25165 from moyodiallo/release-opam-dune-lint-v0.5
[new release] opam-dune-lint (0.5)
authored by Marcello Seri and committed by GitHub 2 years ago eeb40441 b85fc824