Update githubPulls.user.js