| #
f73f6bf9 |
| 22-Aug-2024 |
Viktor Szakats |
GHA: add yamlcheck
Uses `yamllint`.
Also:
- fix warning for existing YAML files:
```
[truthy] truthy value should be one of [false, true]
```
Closes #
GHA: add yamlcheck
Uses `yamllint`.
Also:
- fix warning for existing YAML files:
```
[truthy] truthy value should be one of [false, true]
```
Closes #14650
show more ...
|
| #
7398037a |
| 15-May-2024 |
renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> |
GHA: pin dependencies
Closes #13628
|
| #
bda21291 |
| 06-Dec-2023 |
Viktor Szakats |
tidy-up: fix yamllint whitespace issues
Closes #12466
|
| #
ce03fe3b |
| 05-Dec-2023 |
Dan Fandrich |
github/labeler: switch from the beta to labeler v5
Some keys were renamed and the dot option was made default.
Closes #12458
|
| #
5c006df3 |
| 29-Sep-2023 |
Dan Fandrich |
github/labeler: remove workaround for labeler
This was added due to what seemed to be a bug regarding the sync-labels:
config option, but it looks like it wasn't necessary.
Foll
github/labeler: remove workaround for labeler
This was added due to what seemed to be a bug regarding the sync-labels:
config option, but it looks like it wasn't necessary.
Follow-up to b2b0534e7
show more ...
|
| #
ddc180fd |
| 21-Sep-2023 |
Dan Fandrich |
github/labeler: improve the match patterns
This includes new rules for setting the appleOS and logging labels and
matches on some example files. Also, enable dot mode for wildcard
ma
github/labeler: improve the match patterns
This includes new rules for setting the appleOS and logging labels and
matches on some example files. Also, enable dot mode for wildcard
matches in the .github directory.
show more ...
|
| #
b2b0534e |
| 21-Sep-2023 |
Dan Fandrich |
github/labeler: give the sync-labels config item a default value
This shouldn't be necessary and is likely a bug with this beta version
of the labeller.
Also, fix the negative m
github/labeler: give the sync-labels config item a default value
This shouldn't be necessary and is likely a bug with this beta version
of the labeller.
Also, fix the negative matches for the documentation label.
Follow-up to dd12b452a
Closes #11907
show more ...
|
| #
32dcda98 |
| 21-Sep-2023 |
Dan Fandrich |
github/labeler: fix up more the labeler config format
The new version didn't like the workaround we had for a bug in the
previous labeler version, and it should no longer be needed.
github/labeler: fix up more the labeler config format
The new version didn't like the workaround we had for a bug in the
previous labeler version, and it should no longer be needed.
Follow-up to dd12b452a
Closes #11906
show more ...
|
| #
dd12b452 |
| 20-Sep-2023 |
Dan Fandrich |
github/labeler: switch to the 5 beta version
This version adds an important feature that will allow more PRs to be
labelled. Rather than being limited to labeling PRs with files that
github/labeler: switch to the 5 beta version
This version adds an important feature that will allow more PRs to be
labelled. Rather than being limited to labeling PRs with files that
match a single glob, it can now label them if multiple changed files
match any one of a number of globs.
show more ...
|
| #
ffe3e3c4 |
| 29-Jan-2023 |
Dan Fandrich |
CI: Work around a labeler bug that removes labels
|
| #
de8cc210 |
| 25-Jan-2023 |
Dan Fandrich |
CI: Switch the labeler event to pull_request_target
Otherwise, the action won't work on PRs from forked repositories
(#10326).
|
| #
3eabedc0 |
| 20-Jan-2023 |
Dan Fandrich |
CI: Add a workflow to automatically label pull requests
The labeler language is quite restrictive right now so labels are added
quite conservatively, meaning that many PRs won't get labe
CI: Add a workflow to automatically label pull requests
The labeler language is quite restrictive right now so labels are added
quite conservatively, meaning that many PRs won't get labels when it's
"obvious" they should. It will still save some manual work on those
that it can label.
show more ...
|
