gittip/www.gittip.com — pull request #2596 by whit537 (2014-07-24 18:17:51+00:00)
Title: Switch from dev project to production project

I deleted the dev project and found out that's what we had been using in production!