补全:本地多几个
补全 ahead：本地比远端多几个提交。 贯穿本节的产品模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：一个端到端 Python 产品，从需求→设计→实现→持久化→服务化
补全:打过标签没
补全 is_tagged：这个版本打过标签没。 贯穿本节的产品模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：一个端到端 Python 产品，从需求→设计→实现→持久化→
补全:升补丁版本
补全 bump_patch：把 z 加一。 贯穿本节的产品模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：一个端到端 Python 产品，从需求→设计→实现→持久化→服务
补全:数提交
补全 n_commits：提交历史里有几个提交。 贯穿本节的产品模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：一个端到端 Python 产品，从需求→设计→实现→持久化
打个补丁版本变成几
按模型，bump_patch("1.2.0") 交回什么？ 贯穿本节的产品模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：一个端到端 Python 产
版本号怎么升
语义化版本 x.y.z，修个小 bug 通常升【0】。 贯穿本节的产品模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：一个端到端 Python 产品，从需求→设计→实现→
为什么要版本化
用 Git 把项目版本化，最实在的好处是【0】。 贯穿本节的产品模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：一个端到端 Python 产品，从需求→设计→实现→持久化
补全:全绿吗
补全 green：是不是全部通过。 贯穿本节的产品模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：一个端到端 Python 产品，从需求→设计→实现→持久化→服务化→测试
补全:覆盖率
补全 coverage：被测到占总数的百分比。 贯穿本节的产品模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：一个端到端 Python 产品，从需求→设计→实现→持久化→
补全:数失败
补全 failed：数值为 fail 的用例。 贯穿本节的产品模型（判题机纯 Python、无网，这是它的确定模型，见 spine.py）：一个端到端 Python 产品，从需求→设计→实现→持久化→