mirror of
https://github.com/zed-industries/zed.git
synced 2026-05-26 07:24:46 +00:00
This PR removes the `paths-ignore` for docs again, as it causes docs-only PRs to be unmergable in combination with required status checks (which we need in order to support merge-when-ready). We can put these back if and only if we come up with a solution for how to make it work with required status checks. Release Notes: - N/A |
||
|---|---|---|
| .. | ||
| actions | ||
| ISSUE_TEMPLATE | ||
| workflows | ||
| cherry-pick-bot.yml | ||
| pull_request_template.md | ||