前往新版Gitcode,体验更适合开发者的 AI 搜索 >>
--- title: Last push widget will show banner for new pushes to previously merged branch merge_request: author: type: changed