github.js: switch to 4 spaces for indentation