Stanislau Hlebik 54c036e8b2 mononoke: record git mapping while doing a push ... Summary: Currently we record them only during pushrebase. Let's record during push as well. To simplify things a little bit let's allow only a very simple push case: 1) Single bookmark. 2) All pushed commits should be reachable by this bookmark. Reviewed By: krallin Differential Revision: D21451337 fbshipit-source-id: bf2f1e6025ac116fb8096824b7c4c6440d073874		2020-05-18 05:41:41 -07:00
..
fs	check in some high-level design documentation for EdenFS	2020-05-15 18:08:47 -07:00
integration	Convert type check targets in eden to use configuration	2020-05-08 15:24:57 -07:00
locale	add a copyright header to glibc_en.po	2019-04-26 14:38:27 -07:00
mononoke	mononoke: record git mapping while doing a push	2020-05-18 05:41:41 -07:00
scm	discovery: go back to random sampling but include master	2020-05-15 19:03:29 -07:00
scripts	Tidy up license headers	2019-10-11 05:28:23 -07:00
test_support	fix a file descriptor leak in the temporary file code	2020-04-28 12:11:51 -07:00
test-data	enable treemanifest in snapshots	2019-08-28 18:46:03 -07:00
win	add .clang-format	2020-04-28 08:42:03 -07:00
.clang-format	add .clang-format	2020-04-28 08:42:03 -07:00
.gitignore	eden: wire up mac contbuild	2019-02-05 21:52:30 -08:00
Eden.project.toml	Eden.project.toml file for Nuclide	2018-04-26 11:05:23 -07:00