GitHub patches critical 'git push' remote code execution bug