Return the origin field for a toolinfo record as part of the /api/tools/* and /api/search/tools/ response body. This can be used by UI implementations to hint about the editability of a given record. Specifically origin=crawler records cannot be edited using PUT /api/tools/{name} to prevent edit warring between the crawler and the UI.
Description
Description
Details
Details
Subject | Repo | Branch | Lines +/- | |
---|---|---|---|---|
search: add 'origin' facet | wikimedia/toolhub | main | +23 -0 | |
api: return `origin` with toolinfo | wikimedia/toolhub | main | +8 -1 |
Related Objects
Related Objects
Event Timeline
Comment Actions
Change 675336 had a related patch set uploaded (by BryanDavis; author: Bryan Davis):
[wikimedia/toolhub@main] api: return origin with toolinfo
Comment Actions
Change 675337 had a related patch set uploaded (by BryanDavis; author: Bryan Davis):
[wikimedia/toolhub@main] search: add 'origin' facet
Comment Actions
Change 675336 merged by jenkins-bot:
[wikimedia/toolhub@main] api: return `origin` with toolinfo
Comment Actions
Change 675337 merged by jenkins-bot:
[wikimedia/toolhub@main] search: add 'origin' facet