Commit d3de4379508d0eb7de0cfc8b82f56b3178f10694

Stefan Sperling 2019-07-15T19:14:17

clarify git's object garbage collection criteria a bit