Closed novalis closed 4 years ago
check that synthetic refs exist as well as the commits they point to.
Don't approve this -- I think we should probably drop it.