use the default github repository since all my PR was merged