chore: create issue on PR merge with client side changes (#8377)

This commit is contained in:
Max Schmitt 2021-08-25 13:36:57 +02:00 committed by GitHub
parent 8189de42cf
commit db36f40422
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -0,0 +1,28 @@
name: "Check client side changes"
on:
pull_request:
types: [ closed ]
branches:
- master
paths:
- 'src/client/**/*'
jobs:
check:
name: Check
runs-on: ubuntu-20.04
if: github.event.pull_request.merged == true
steps:
- name: Create GitHub issue
uses: actions/github-script@v4
with:
script: |
const body = `${{ github.event.number }} made changes to the client, this needs to get applied in:
- [ ] Python
- [ ] Java
- [ ] .NET`;
await github.issues.create({
owner: context.payload.pull_request.base.repo.owner.login,
repo: context.payload.pull_request.base.repo.name,
title: '[Internal] Backport client change to language ports',
body,
});