Closed dundargoc closed 9 months ago
This reverts commit d1369fcf4740e42d4ae2322d1342954f07c534c1.
The reasoning is provided by @justinmk in https://github.com/neovim/tree-sitter-vimdoc/pull/122#issuecomment-1951443830:
It's good to save CI time, but for low-activity repos I think we should err on the side of explicitness.
Reasons in favor of CI on push:
Without this, we don't have a clear concept of "current status", except whatever the last PR was (which also assumes a linear history).
This reverts commit d1369fcf4740e42d4ae2322d1342954f07c534c1.
The reasoning is provided by @justinmk in https://github.com/neovim/tree-sitter-vimdoc/pull/122#issuecomment-1951443830:
It's good to save CI time, but for low-activity repos I think we should err on the side of explicitness.
Reasons in favor of CI on push:
Without this, we don't have a clear concept of "current status", except whatever the last PR was (which also assumes a linear history).