in theory, this flow might be evolved
1) currently there's automation which closes every PR. automation is hidden
somewhere and only few people can modify it
2) the same automation might be implemented using Github Actions (closing
PR, sending email to list, etc), and there's a space for
Hi
On 5/24/22 03:23, PR Bot wrote:
Dear list!
Author: naveen <172697+naveensriniva...@users.noreply.github.com>
Number of patches: 1
This is an automated relay of the Github pull request:
chore: Included githubactions in the dependabot config
Patch title(s):
chore: Included
Dear list!
Author: naveen <172697+naveensriniva...@users.noreply.github.com>
Number of patches: 1
This is an automated relay of the Github pull request:
chore: Included githubactions in the dependabot config
Patch title(s):
chore: Included githubactions in the dependabot config
Link:
3 matches
Mail list logo