sympy/planet.sympy.org — Issue #5: Don't push a change if there haven't been any updates
Author: asmeurer
Created: 2011-10-12 17:44:23+00:00
State: open

This is spamming with unnecessary updates. The result is that this repo is almost always at the top of https://github.com/sympy/, and I even once noticed it at https://github.com/timeline, which I think would normally be pretty rare. The bot should push only when there is something to push.