deprecated API mirror deprecation, 5/31/2021

The application we host that converts OSDI-formatted API requests to standard REST API requests is out of support. It has not been recommended for new developers since 2019 and the codebase ceased being maintained in mid 2020. As such, will be deprecated on 5/31/2021.

All relevant functionality is still available in our REST API (documentation available here). The code is available on GitHub, allowing any user to maintaining this application for themselves. For more information or if you have any questions please contact us at [email protected].