Alexander Bayandin c07b6ffbdc Fix git tag name for release (#4545) ...

## Problem

A git tag for a release has an extra `release-` prefix (it looks like
`release-release-3439`).
 
## Summary of changes
- Do not add `release-` prefix when create git tag

2023-06-23 12:52:17 +01:00

..

actions

ci: use eu-central-1 bucket (#4315)

2023-05-25 00:00:21 +03:00

ISSUE_TEMPLATE

Fix typo in issue template

2022-09-10 01:23:19 +03:00

PULL_REQUEST_TEMPLATE

Add note about manual_release_instructions label (#4015)

2023-04-13 13:13:24 +03:00

workflows

Fix git tag name for release (#4545)

2023-06-23 12:52:17 +01:00

pull_request_template.md

Simplify github PR template (#4241)

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