Comment by time0ut

I wonder if I can hook failed git push into betting on github's status on polymarket.