2 ms·
5. Remove the annoying bot and merge it anyway. It's already part of github TOS as quoted in another comment, so you're just creating repetition hurdles (which
by eviks 2y ago
5. Remove the annoying bot and merge it anyway.
It's already part of github TOS as quoted in another comment, so you're just creating repetition hurdles (which won't save you anyway in case of real trouble)