[–] geoah 5y 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
1 comment
[ 2.7 ms ] story [ 10.3 ms ] thread> 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