Now that we have save code now, it seems reasonable to also have a related "update this code" button that people can use to trigger a new crawl of a repository they are browsing in the web app.
Notes about the idea:
- in terms of DoS risks, that doesn't seem any worse than save code now itself (as such, this new UI element should similarly be protected with captchas)
- this feature seems better than automatically scheduling crawl updates for repos that are just visited via the Web app (idea we discussed before), but it's not incompatible with it, it's just a middle ground
- I'm not sure about the best text label for the UI element "update this repository" might be a better option, but then we should make sure the button appears only for repository-like sources