Remove or rename https://www.drupal.org/project/infrastructure_drupalorg

While I was creating #2957446: Add additional instruction item to provide git clone command for users’ projects I started to each `infrastructure` in the `Project` field and it showed me `Infrastructure.drupal.org (2163595)` and I nearly submitted it there, but decided to make sure and when checked the real node it lead me to https://www.drupal.org/project/infrastructure_drupalorg, which didn’t seem the right project. So only after additional search I found https://www.drupal.org/project/infrastructure, which shows as `Drupal.org infrastructure (107028)` in the Project field.

And it turns out I am not the only one who got caught by this conflict of duplicates as the https://www.drupal.org/project/issues/infrastructure_drupalorg?status=Al… shows users keep posting there their infrastructure issues.

So please either delete that dead project or at least rename it to prevent users from further confusion.


Source: https://www.drupal.org/project/issues/rss/infrastructure