Page MenuHomePhabricator

Toolsadmin unable to deal with deleted tool repository
Open, Needs TriagePublicBUG REPORT

Description

Steps to replicate the issue (include links if applicable):

  • Create a repo for a tool through the toolsadmin interface
  • Delete the repo on Gitlab

What happens?: The repo page now delivers a 500 Internal Error.

Example error page: https://toolsadmin.wikimedia.org/tools/id/animanga-db-matcher/repos/id/967

What should have happened instead?: The repo should be deleted from the database.

Software version (skip for WMF-hosted wikis like Wikipedia):

Other information (browser name/version, screenshots, etc.): Request ID: 6d0e3f0e2a11494b8fb28372578af6e8