search

samueldr / github-to-irc

MIT License
0 stars 1 forks source link

Skip push events after a merge event #18

Closed samueldr closed 3 years ago

samueldr commented 3 years ago

This skips the useless push event coming from a merge event.