wechat-feeds/.mergify.yml at main · HelpFireCode/wechat-feeds · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
pull_request_rules:
  - name: say hi on new contribution
    conditions:
      - author!=@hellodword
      - base=main
    actions:
      comment:
        message: |
          @{{author}}，

          欢迎你的 pr！

          正在运行自动检查...

          如果运行失败，进入 [Checks](https://github.com/hellodword/wechat-feeds/pull/{{number}}/checks)，点击左侧的 `check pr`，查看具体的失败原因，并根据原因进行修改。

          为了方便自动化，如果需要修改，目前不建议 force push，建议点击下方 close 关闭 pr 并重新提一个 pr。

          如果一切正常却依然 merge 失败，请查看 [这个页面](https://github.com/hellodword/wechat-feeds/pulls?q=is%3Apr) 查看是否是因为有其它 pr 在这个 pr 运行自动检查期间被 merge 造成了冲突。

          如果自动检查很长时间没有运行，可能是 github 服务宕机，你可以点击下方 close 关闭 pr 并重新提一个 pr 来尝试触发。

          如果你确定一切都没有问题依然没有被 merge，那么可以评论等待 @hellodword 手动处理。

  - name: automatic merge for master when CI passes
    conditions:
      - check-success=check pull request
      - base=main
    actions:
      merge:
        method: rebase
        strict: true
      comment:
        message: |
          @{{author}}，

          恭喜！

          你的 pr 已经被 merge，请等待下一次成功更新，即可开始订阅。

  - name: ask to fix commit message
    conditions:
      - check-failure=check pull request
      - base=main
    actions:
      comment:
        message: |
          @{{author}}，

          感谢你的 pr！

          这个 PR 发生了检查失败，请进入 [Checks](https://github.com/hellodword/wechat-feeds/pull/{{number}}/checks)，点击左侧的 `check pr`，查看具体的失败原因，并根据原因进行修改。

          为了方便自动化，如果需要修改，目前不建议 force push，建议点击下方 close 关闭 pr 并重新提一个 pr。

          如果一切正常却依然 merge 失败，请查看 [这个页面](https://github.com/hellodword/wechat-feeds/pulls?q=is%3Apr) 查看是否是因为有其它 pr 在这个 pr 运行自动检查期间被 merge 造成了冲突。

          如果自动检查很长时间没有运行，可能是 github 服务宕机，你可以点击下方 close 关闭 pr 并重新提一个 pr 来尝试触发。

          如果你确定一切都没有问题依然没有被 merge，那么可以评论等待 @hellodword 手动处理。

  - name: ask to resolve conflict
    conditions:
      - conflict
      - base=main
    actions:
      comment:
        message: |
          @{{author}}，

          感谢你的 pr！

          这个 PR 发生了冲突，需要你处理一下冲突

          如果对于 git 不熟悉，你可以理解成重新按照 [如何添加公众号](https://github.com/hellodword/wechat-feeds#%E5%A6%82%E4%BD%95%E6%B7%BB%E5%8A%A0%E4%BF%AE%E6%94%B9%E5%85%AC%E4%BC%97%E5%8F%B7) 的流程来一遍。

          为了方便自动化，如果需要修改，目前不建议 force push，建议点击下方 close 关闭 pr 并重新提一个 pr。