mirror of
https://github.com/facebook/rocksdb.git
synced 2024-11-26 07:30:54 +00:00
42f898bf83
Summary: format-diff.sh, a.k.a. 'make format', would use 'master' to decide which commits are probably unpublished. Much better to use facebook remote master since local master may not be caught up and may have its own unpublished commits. Script now tries to compare against facebook remote master branch (branch pointer is updated with any fetch or pull), because those differences are what would be considered the differences for a pull request. Also, script would compare against *parent* of merge-base with that reference point, which is just wrong since that includes the last published commit. In case of problems, you can now customize the reference point, by setting the FORMAT_UPSTREAM variable. Pull Request resolved: https://github.com/facebook/rocksdb/pull/5831 Test Plan: manual Differential Revision: D17528462 Pulled By: pdillinger fbshipit-source-id: 50fdb8795d683bf3c14d449669c1a5299e0dfa8b |
||
|---|---|---|
| .. | ||
| amalgamate.py | ||
| build_detect_platform | ||
| cont_integration.sh | ||
| dependencies.sh | ||
| dependencies_4.8.1.sh | ||
| dependencies_platform007.sh | ||
| dockerbuild.sh | ||
| error_filter.py | ||
| fb_compile_mongo.sh | ||
| fbcode_config.sh | ||
| fbcode_config4.8.1.sh | ||
| fbcode_config_platform007.sh | ||
| format-diff.sh | ||
| gnu_parallel | ||
| make_package.sh | ||
| precommit_checker.py | ||
| regression_build_test.sh | ||
| rocksdb-lego-determinator | ||
| RocksDBCommonHelper.php | ||
| run_ci_db_test.ps1 | ||
| setup_centos7.sh | ||
| update_dependencies.sh | ||
| version.sh | ||