{"creator":"nelhage","f7411fa8-2e08-5385-9b46-0d0d0c7e856d-id":"49295","f7411fa8-2e08-5385-9b46-0d0d0c7e856d-queue":"App-SD","reporter":"nelhage@mit.edu","status":"closed","summary":"Better error message for a push to a non-existant repository"}