Closed larryhudson closed 1 month ago
Currently we are measuring the time to create a PR for an issue and including that in the 'issue comment' that we create after creating the PR.
We should do the same for when we are handling a PR review comment.
@Aiderbot can you have a look at this?
I've created a pull request to address this issue: https://github.com/larryhudson/github-app-aider/pull/57
Time taken to create this PR: 40.56 seconds
Currently we are measuring the time to create a PR for an issue and including that in the 'issue comment' that we create after creating the PR.
We should do the same for when we are handling a PR review comment.
@Aiderbot can you have a look at this?