Commits · f21c6bd8ca5cd057fc3d1e0dc5ea8f6403dc144f · OpenDAS / vision

14 Feb, 2024 1 commit
- fix pr-labels workflow (#8272) · f21c6bd8
  Philip Meier authored Feb 14, 2024
  
  f21c6bd8
19 Jan, 2024 1 commit
- ci: Use GITHUB_OUTPUT envvar instead of set-output command (#8221) · 660868b1
  Arun Sathiya authored Jan 19, 2024
  
  660868b1
14 Oct, 2021 1 commit
- Update PR labeling requirements (#4618) · 6d459c7b
  Nicolas Hug authored Oct 14, 2021
  
  6d459c7b
29 Sep, 2021 1 commit
- Fix bot that pings us when PR labels are missing (#4501) · 5e8a2116
  Nicolas Hug authored Sep 29, 2021
  
  5e8a2116
17 Jun, 2021 1 commit
- Only tag merger if PR isn't properly labeled, not all reviewers (#4081) · 29bdcd25
  Nicolas Hug authored Jun 17, 2021
```
Co-authored-by: Philip Meier <github.pmeier@posteo.de>
```
  29bdcd25
09 Jun, 2021 3 commits

Fix workflow for pinging maintainers in case of unlabeled PRs (#4021) · 78fc1434

Philip Meier authored Jun 09, 2021

* add additional workflow trigger

* [skip ci] fix name of script for PR label processing (#4013)

* trigger CI

* fix workflow in case commit has no associated PR

* [skip CI] test PR for label-checking workflow (#4015)

* [skip CI] fix PR labels processing logic (#4016)

* [skip CI] try fix trigger for unlabeled PR pings (#4017)

* [skip CI] remove quotes around users ping (#4018)

* [skip CI] cleanup PR labeling workflow (#4019)

* [skip CI] fix ping message for unlabeled PRs (#4020)

* cleanup

78fc1434

fix syntax in PR labels workflow (#4012) · a00c735d
Philip Meier authored Jun 09, 2021

a00c735d

ping maintainers in case a PR was not properly labeled (#3993) · aaf240f1

Philip Meier authored Jun 09, 2021

* test label extraction

* debug

* debug

* ping maintainers in case a PR was not properly labeled

* flake8

* add required labels

aaf240f1