dependabot[bot]
|
c3a7854f73
|
build(deps): bump actions/download-artifact from 4 to 5
Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 4 to 5.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](https://github.com/actions/download-artifact/compare/v4...v5)
---
updated-dependencies:
- dependency-name: actions/download-artifact
dependency-version: '5'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2025-09-14 13:49:34 +02:00 |
|
dependabot[bot]
|
9fb0d863be
|
build(deps): bump actions/github-script from 7 to 8
Bumps [actions/github-script](https://github.com/actions/github-script) from 7 to 8.
- [Release notes](https://github.com/actions/github-script/releases)
- [Commits](https://github.com/actions/github-script/compare/v7...v8)
---
updated-dependencies:
- dependency-name: actions/github-script
dependency-version: '8'
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2025-09-14 13:47:33 +02:00 |
|
Igor
|
7995d2ac3f
|
Add more labels to remove on PR approval
Expanded the labelsToRemove array to include additional labels.
|
2025-09-14 13:44:47 +02:00 |
|
Igor
|
3bb8125be8
|
Modify PR workflow to remove multiple labels
Removes work in progress label too.
|
2025-09-14 13:44:47 +02:00 |
|
Igor
|
29e30fa237
|
Implement label removal on PR approval
Once we set label "Ready to merge" lets remove "Review needed". If its set.
|
2025-09-13 13:53:41 +02:00 |
|
I am just a bot
|
6e11920bf3
|
Reliable PR number relay for labeler workflow (#8628)
|
2025-09-13 12:17:09 +02:00 |
|
Igor
|
47519373a6
|
PR review labeler: extract PR number from commit ID (#8627)
|
2025-09-13 11:37:27 +02:00 |
|
Igor Pecovnik
|
e60abc531b
|
Add Label When Approved action
|
2025-09-12 21:31:19 +02:00 |
|
Igor Pecovnik
|
6a86fd7def
|
Fix permissions for label Ready to Merge on approved pull requests
|
2025-04-12 20:04:11 +02:00 |
|
Igor Pecovnik
|
52548e408a
|
GitHub Actions: add log cleaner, adjust names, fix labelling on approve
|
2024-11-03 21:39:25 +01:00 |
|
Igor Pecovnik
|
d355c17dc3
|
Change pull request trigger in order to get permissions back in order
|
2024-11-01 08:27:49 +01:00 |
|
Igor Pecovnik
|
01c83b4639
|
Label approved pull requests with "Ready to merge"
|
2024-10-25 22:37:15 +02:00 |
|