Handle comments in PR description when it is opened

[Kobzol]

Handle commands (e.g. @bors p=1) in the description of PRs when they are opened. Should be somewhere around here.

[mostafa630]

HI , can I work on that PR please?

From what I understand we don’t just want Bors to handle PR comments but also handle the case when a PR is first opened , so user can provide the command in the PR description itself and bors can handle it

I was thinking we could treat the PR description like a fake PullRequestComment fill in the fields from the PR it self
The only part I’m unsure about is the html_url that exists in the PullRequestComment
the comment already has that in its payload : payload.comment.html_url.to_string() but the PR doesn't
so I Suggest if we can solve this Problem by sending the PR link it self by constructing it like that :
format!("https://github.com/{}/pull/{}", payload.repository, payload.pull_request.number)
if that fine and won't break any thing so we can now by using parameters of the handle_pull_request_opened
and that fake comment , just call the handle_comment function

If that sounds good, I’d love to work on it

[Kobzol]

We use the html_url only for linking to the comment in case it contains the @bors treeclosed=XYZ command. But this command will probably almost never be used in PR descriptions, and even if it does, linking to the PR itself in that case makes sense. So setting html_url to the URL of the pull request itself makes sense.

So yeah, sounds good! :)

[mostafa630]

Thanks , I’ll start working on it.

[mostafa630]

@Kobzol
I’ve completed the changes for this PR: #429
All tests have passed. Please let me know if any further adjustments are needed.

[RaoulLuque]

This can then be closed as completed in #429, correct ? :)

[Kobzol]

Indeed, thanks :)