Thread:Extension talk:BreadCrumbs/What is the difference of file from Gerret vs Github/reply

Yeah, that's the danger of trying to keep remote repositories at gerrit and github. Sorry about that. As a general rule, use the one from gerrit.