Fixing JGithub repository contents api (Fix #5067)