Securing the git push pipeline: Responding to a critical remote code execution vulnerability — Blankdot