Git 库分支清理 git-snip

码农软件 · 软件分类 · Git开源工具 · 2019-11-04 12:59:08

软件介绍

git_snip 可以安全地清理掉你 Git 库上的分支项目。当一个分支项目远程合并后,你本地的分支不会自动删除,并且会让你更难找到相关的分支。此项目旨在通过 git_cherry 找到本地已经合并的分支,然后删除它们。

本文地址:https://codercto.com/soft/d/18248.html

The Little Prover

The Little Prover

Daniel P. Friedman、Carl Eastlund / The MIT Press / 2015-7-10 / USD 38.00

[FROM www.amazon.com]: The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, wi......一起来看看 《The Little Prover》 这本书的介绍吧!

CSS 压缩/解压工具
CSS 压缩/解压工具

在线压缩/解压 CSS 代码

RGB HSV 转换
RGB HSV 转换

RGB HSV 互转工具

HEX CMYK 转换工具
HEX CMYK 转换工具

HEX CMYK 互转工具