docs and sync micro version to pygit2