Fix mismatch between origins and head_revs.
The fix in 2354d9bb313b was buggy, but this was not caught by tests
because of another bug, fixed in 795bc1daca3e.
Description
Description
Details
Details
- Provenance
vlorentz Authored on Feb 14 2019, 3:10 PM vlorentz Pushed on Feb 14 2019, 3:16 PM - Differential Revision
- D1139: Fix mismatch between origins and head_revs.
- Parents
- rDCIDX65a31e93fcc4: Remove files that weren't supposed to be committed yet.
- Branches
- Unknown
- Tags
- Build Status
Buildable 4253 Build 5615: test-and-build