Skip to content

Remove non-existent get_line_number_in_pull_request_file tool reference - #436

Merged
williammartin merged 1 commit into
github:mainfrom
TheoBrigitte:remove-get_line_number_in_pull_request_file
May 26, 2025
Merged

Remove non-existent get_line_number_in_pull_request_file tool reference#436
williammartin merged 1 commit into
github:mainfrom
TheoBrigitte:remove-get_line_number_in_pull_request_file

Remove non-existent get_line_number_in_pull_request_file tool reference

f87a2aa
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs