Select the types of activity you want to include in your feed.
Merge pull request #27221 from hannesm/add-maint-intent-ci
add a github workflow checking for x-maintenance-intent in the opam files of the PR
authored by Marcello Seri and committed by GitHub 1 year ago ea8e97a2 59f50910