A vulnerability hits the open-source Git project for managing code repositories