erabo/spiegel_podman
1
0
Fork 0
mirror of https://github.com/podman-container-tools/podman.git synced 2026-10-17 19:37:32 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

Merge pull request #8155 from edsantiago/pr_title_again

Browse source 
Yet another iteration on PR title plugin
This commit is contained in:
OpenShift Merge Robot 2020-10-27 09:20:39 +01:00 • committed by GitHub
commit a24341b908
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
.github/workflows/pr-title.yml vendored
View file

@ -2,9 +2,10 @@
name: "PR title check"
on: pull_request_target
branches:
- "!master" # don't run it on master to prevent errors
on:
pull_request_target:
branches:
- "!master" # causes errors; reason unknown
jobs:
update_pr: