gittip/www.gittip.com — pull request #2478 by Changaco (2014-06-07 22:25:05+00:00)
Title: Optimize set_tip_to()

Split from #2352, start of a new PR chain.