Unable to rename a repository

I’m an admin on the organization.
I did the following steps:

  1. Created a new repository named notifications2.
  2. Deleted the repository named notifications.

Now, trying to rename notifications2 to notifications fails - as soon as I write notifications in the rename text box, I’m getting an error 500.

Any idea how this can be done?


now github is dead