源补丁

代码编辑器作为调整源代码的Chrome扩展程序。

精选

13 投票

热门

124 浏览量

描述

您是否曾经需要快速更改网站的源代码？源补丁程序是一种工具，可让您快速更改网站源代码，并单击一键创建GitHub PR，从而消除了打开开发工具的需求。

分类

代码编辑器命令行工具 Git客户端 Chrome 扩展程序

标签

镀铬扩展开发人员工具 Girub

推荐产品