Github to Gitlab sync script with Docker support
AGPL-3.0 License
Git的奇技淫巧
orgit is a cli tool for organising and syncing git repositories in a consistent and fast way.
Simple Python Script To Mirror Repository From Github To Gitea
📦 Setup GitHub label without configuration.
A (Coq Development Team) bot written in OCaml
Simple changelog generator via GitHub releases
Git backporting is a CLI tool to execute pull request backporting.
A small utility that allows to mirror external repositories to GitLab, GitHub and possible more.
github pull requests builder plugin for Jenkins
这里是我的笔记,记录一些git常用和一些记不住的命令。