Detect repository renames #2134
Description
Via #2132.
The wot-bindings-registry repository got renamed into wot-binding-registry. We ended up with 2 entries for the same spec:
- one added through Add wot-bindings-registry #2083 two weeks ago
- one added through Add wot-binding-registry #2114 four days ago
Adding the spec is good, but we should have detected the change of name for the repository. GitHub redirects the former name to the latter one, it does not redirect GitHub Pages though.