Update All_Repos.json

I made an error in the last pull request; please ignore that one. Thanks!