3 ms·Oh, so you've experienced those "stale" bots on GitHub. Good times.by mdaniel 3y agoOh, so you've experienced those "stale" bots on GitHub. Good times.