Github Tools Failure

[ebon plaza]

Hello, I think there is sth wrong with the signature of github_add_labels_to_an_issue tools, it doesn't have a labels param.

[olive radish]

Hey @ebon plaza, thanks for flagging this! I've esclated this to the team.

[ebon plaza]

Thanks