Follows krz/gitbay!323: repo unwatch returns to the default, repo mute silences. The repository menu offers "Stop watching" while watching and "Unmute this repository" while muted, both via repo unwatch; Mute sends repo mute. Requires the server change to be deployed before Mute works in a dev build.