I cherry-picked the "follow" changes and pushed it. Thanks! I will keep considering the other changes, trying to settle on a guiding principle for where which repo settings and actions should be available. /Mads