I don't understand if our repositories have to match on dockerhub and github because previously it worked fine with different names.