gittip/www.gittip.com — pull request #1178 by whit537 (2013-07-19 03:25:25+00:00)
Title: Feed back when tip changes

We used to have this but lost it in #1070.