mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-23 18:32:17 +00:00
836b4c1db4
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 |
||
---|---|---|
.. | ||
bump_collab_staging.yml | ||
bump_patch_version.yml | ||
ci.yml | ||
community_close_stale_issues.yml | ||
community_delete_comments.yml | ||
community_release_actions.yml | ||
community_update_all_top_ranking_issues.yml | ||
community_update_weekly_top_ranking_issues.yml | ||
danger.yml | ||
deploy_cloudflare.yml | ||
deploy_collab.yml | ||
docs.yml | ||
publish_extension_cli.yml | ||
randomized_tests.yml | ||
release_nightly.yml | ||
script_checks.yml |