repo git: check if remote rev is in local history when determining state. closes #1155