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