gitea 使用 jenkins 自动 ci

我目前使用的代码仓库是使用 gitea 搭建而成的，详细参见 https://git.zeekling.cn, 最近在看 redis 源码于是就想着加个自动 ci 的东西。……