Joseph O'Connor 295c6fd629

fix(issue_definitions, issue-success-check.jinja): pass git-patch to issue-success-check (#6243) ...

Co-authored-by: Graham Neubig <neubig@gmail.com>

2025-01-13 18:40:15 +00:00

..

guess_success

fix(issue_definitions, issue-success-check.jinja): pass git-patch to issue-success-check (#6243)

2025-01-13 18:40:15 +00:00

repo_instructions

Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR (#5181)

2024-11-25 15:59:14 +00:00

resolve

Fix issue #5179: [frontend]: Push to Github button should only push branch, but not creating a PR (#5181)

2024-11-25 15:59:14 +00:00