Just some GitHub utility things I found personally useful... Feel free to open an issue or PR and I'll check it out. ¯\_(ツ)_/¯
1
stars
6
forks
source link
Add tool to delete all "outdated" comments from bot users #15
Open
dracco1993 opened 7 years ago
This kind of shenanigans happens quite often for large PRs, which slows down page loading, as well as this plugin:
These outdated comments from @houndci are no longer helpful, so it would be super cool if we could get rid of all of them. 👍