Yea, we all forget to close them now and then, although I have started to merge
with the PR button, and then it happens automatically :)
Perhaps it is time for our project to write a few «bots» to handle things like
this. I’m sure INFRA has a place we can host it.
The first bot would be the Luc
Thanks Jan. Is there a way to bulk close all of them? If we automate it and
run it weekly, it would be nice.
On Sat, 15 Feb, 2020, 6:53 AM Erick Erickson,
wrote:
> Thanks, closed mine...
>
> > On Feb 14, 2020, at 6:28 PM, Jan Høydahl wrote:
> >
> > I made a report with dev-tools/scripts/githubP
Thanks, closed mine...
> On Feb 14, 2020, at 6:28 PM, Jan Høydahl wrote:
>
> I made a report with dev-tools/scripts/githubPRs.py which shows «orphan» PRs
> and PRs that have not been closed even if the linked JIRA is closed.
> Please help close the gap.
> You can typically link a PR with a JIRA
I made a report with dev-tools/scripts/githubPRs.py which shows «orphan» PRs
and PRs that have not been closed even if the linked JIRA is closed.
Please help close the gap.
You can typically link a PR with a JIRA just by editing the PR title and also
mentioning the JIRA ID as a comment on the PR.
