Use camptocamp's copy of github.js