ci: add 'take' bot like main Arrow repo

[soumyadsanyal]

Resolves #1347 .

[soumyadsanyal]

Tested here: soumyadsanyal#3 (comment) .

[soumyadsanyal]

@lidavidm

Also, possibly have a bot edit in or comment to make it clear how this works to people landing in the repo

For this optional behavior: was there an existing flow (in a different repo?) implementing this that you had in mind?

[lidavidm]

@lidavidm

Also, possibly have a bot edit in or comment to make it clear how this works to people landing in the repo

For this optional behavior: was there an existing flow (in a different repo?) implementing this that you had in mind?

I think we can ignore that.

However, would you mind adding this to CONTRIBUTING.md? I would say under "Opening a Pull Request", we can say (1) please check if there is an issue or make one, (2) assign the issue to yourself by commenting "take"

[soumyadsanyal]

@lidavidm

Also, possibly have a bot edit in or comment to make it clear how this works to people landing in the repo

For this optional behavior: was there an existing flow (in a different repo?) implementing this that you had in mind?

I think we can ignore that.

However, would you mind adding this to CONTRIBUTING.md? I would say under "Opening a Pull Request", we can say (1) please check if there is an issue or make one, (2) assign the issue to yourself by commenting "take"

Yes, sounds good. I've pushed the change.

I think it might also be nice to, once this is in main:

1. demonstrate this flow with an example or future issue in this repo, and
2. update CONTRIBUTING.md with that example, by linking to that "take" comment (as I did here).

How does that sound?

[lidavidm]

That sounds good to me, thank you!

[soumyadsanyal]

That sounds good to me, thank you!

Perfect! I'll add a follow-up issue and PR once this is in main. (That issue will itself recursively solve for this, which makes it nice and self-contained.)

Separately, I committed your suggestion around cross-referencing the corresponding issue in the PR. As a follow up question to that, is it worth it to add a template in .github/pull_request_template.md and include that prompt there?

[lidavidm]

Yeah, we should set that up eventually.