3 ms·
Some tweet about bot interactions on a github PR from 2019. > So this just happened: - a bot found a vulnerability in a dependency - a bot sent a PR to fix it
by geoah 6y ago
Some tweet about bot interactions on a github PR from 2019.
> So this just happened:
- a bot found a vulnerability in a dependency
- a bot sent a PR to fix it
- the CI verified the PR
- a bot merged it
- a bot celebrated the merge with a GIF