Есть ли способ получить номер запроса извлечения (пример PR # 1234) из хеша git?Я пытаюсь сделать это Python.