•  
      request #8076 Save deleted git repositories before purging them

    Links from and to current artifact