various git updates