GitHub has patched a high-severity remote code execution vulnerability that allowed anyone with push access to a private ...