search

Gandi-IDE / custom-extension

GNU Lesser General Public License v2.1
43 stars 62 forks source link

集成到Gandi的拓展工程 #252

Open MoreBugOfDog opened 5 months ago

MoreBugOfDog commented 5 months ago

通过 Github 的 api，将PR集成到Gandi中，方便认为自己有能力上官方拓展库的拓展作者。 https://docs.github.com/zh/rest/about-the-rest-api/about-the-rest-api?apiVersion=2022-11-28 可以添加CLI验证，防止水拓展PR。 这将大大减小上官方拓展库的门槛，并利于没有特殊网络环境无法上Github的肝酱

FurryR commented 3 months ago

建议移动到 gitee 或 gitlab，GitHub 可能不允许这样的利益相关操作。

MoreBugOfDog commented 3 months ago

建议移动到 gitee 或 gitlab，GitHub 可能不允许这样的利益相关操作。

共创世界 社区本身应该是无收益的？

FurryR commented 3 months ago

建议移动到 gitee 或 gitlab，GitHub 可能不允许这样的利益相关操作。

共创世界 社区本身应该是无收益的？

Gandi IDE 是盈利产品，它被用于西瓜编程以及国家青少年编程大赛，要赚钱的。这个 repo 不仅给共创世界贡献扩展，西瓜编程的那些学员也能用，所以不太妥当。