Use Gitea to build up a personal git server and CI/CD
2024-07-18