Alexander Bayandin d78f5ce6da CI: don't fetch the whole git history if it's not required (#9021) ...

## Problem
We do use `actions/checkout` with `fetch-depth: 0` when it's not
required

## Summary of changes
- Remove unneeded `fetch-depth: 0`
- Add a comment if `fetch-depth: 0` is required

2024-09-17 18:40:05 +01:00

..

actions

CI(promote-compatibility-data): fix job (#8871)

2024-08-30 13:18:30 +01:00

ISSUE_TEMPLATE

.github: direct feature requests to the feedback form (#8849)

2024-08-28 09:22:19 +01:00

PULL_REQUEST_TEMPLATE

Migrate links from wiki to notion (#5862)

2023-11-14 15:36:47 +00:00

workflows

CI: don't fetch the whole git history if it's not required (#9021)

2024-09-17 18:40:05 +01:00

actionlint.yml

push images to prod ACR (#8940)

2024-09-07 00:20:36 +01:00

pull_request_template.md

Simplify github PR template (#4241)

2023-05-16 08:13:54 -04:00