Query for closest public revision instead of mergebase with master
commit982854e7b39218d1cec7048150e0433ef81e287a
authorKasper Kopec <kasper@fb.com>
Mon, 12 Nov 2018 20:12:55 +0000 (12 12:12 -0800)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Mon, 12 Nov 2018 20:15:23 +0000 (12 12:15 -0800)
treeaee397d797ea2c6d14a983b17161166c35b48ab3
parent739fe0319db33a568d0672f46c25302085f5e925
Query for closest public revision instead of mergebase with master

Summary: As discussed in https://fb.facebook.com/groups/scm/permalink/1887571897959088/: public commit != ancestor of master. We'll still get some "wrong" results from Watchman aware subscriptions in monitor that I can't fix, but this will at least reduce the surface area while they think about how to fix it on their side.

Reviewed By: pittsw

Differential Revision: D13013085

fbshipit-source-id: cae9130ec4c4df8ef9a5031a29f5041d58a42920
hphp/hack/src/utils/hg/hg.ml