Commit 83151018ef0228b53739cbc2bc785a673752c349

Edward Thomson 2019-01-17T10:47:32

object_type: convert final internal users to new names Update some missed types that were continuing to use the old `GIT_OBJ` names.