Public Git Hosting - hiphop-php.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: d4d5578) | patch

commit	9d8600b79477889c70629704d871f427515d8ecd
author	Waleed Khan <waleedk@fb.com>
	Fri, 15 Mar 2019 19:57:39 +0000 (15 12:57 -0700)
committer	Hhvm Bot <hhvm-bot@users.noreply.github.com>
	Fri, 15 Mar 2019 20:01:08 +0000 (15 13:01 -0700)
tree	d213d9913d34c79ce27de6bb939157f6defe0a27	tree \| snapshot (tar.gz zip)
parent	d4d55789ac16e7b2d323a5cd13415efa6e71a046	commit \| diff

Rename `svn_rev` to `global_rev`

Summary: This is only renaming; no actual behavior should be changed by this.

Reviewed By: 2BitSalute

Differential Revision: D13908108

fbshipit-source-id: 2de07d9c537b4cf283892910f924dae882a02a4c

15 files changed:

hphp/hack/src/monitor/serverMonitorUtils.ml		diff \| blob \| blame \| history
hphp/hack/src/server/hhMonitorInformant.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverInitTypes.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverLazyInit.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverRevisionTracker.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverRevisionTracker.mli		diff \| blob \| blame \| history
hphp/hack/src/stubs/state_loader.ml		diff \| blob \| blame \| history
hphp/hack/src/stubs/xdb.ml		diff \| blob \| blame \| history
hphp/hack/src/utils/hg/hg.ml		diff \| blob \| blame \| history
hphp/hack/src/utils/hg/hg_runner.ml		diff \| blob \| blame \| history
hphp/hack/src/utils/hg/hg_sig.ml		diff \| blob \| blame \| history
hphp/hack/test/unit/informant/informant_server_lifetime_test.ml		diff \| blob \| blame \| history
hphp/hack/test/unit/informant/informant_test.ml		diff \| blob \| blame \| history
hphp/hack/test/unit/informant/informant_test_tools.ml		diff \| blob \| blame \| history
hphp/hack/test/utils/hg/hg_mock_test.ml		diff \| blob \| blame \| history