Select the types of activity you want to include in your feed.
Fix git head/merge ref
Phil Pluckthun 9 months ago 0d1492c7 aadf4121