search

RaspberryPiFoundation / editor-api

Code Editor backend
https://editor.raspberrypi.org
GNU Affero General Public License v3.0
23 stars 5 forks source link

Investigate whether we have the API endpoints we'd need in profile to allow incremental search of students by name #346

Closed create-issue-branch[bot] closed 3 months ago

create-issue-branch[bot] commented 3 months ago

closes #345

floehopper commented 3 months ago

This was created automatically by GitHub - I don't think it's serving any useful purpose - closing