update github_print.js