Select the types of activity you want to include in your feed.
1pin-depends: [ 2 ["dune.3.22.0" "git+https://github.com/jonludlam/dune.git#odoc-v3-rules-3.22.0"] 3]