Basically reset hard to the PR tip Pants #general

Basically reset --hard to the PR tip

e

enough-analyst-54434

10/10/2015, 2:32 AM

Basically reset --hard to the PR tip