@@ -332,97 +332,3 @@ jobs:
332
332
333
333
- name : " Run mutation tests with pcov and infection/infection"
334
334
run : " vendor/bin/infection --ignore-msi-with-no-mutations --min-covered-msi=${{ env.MIN_COVERED_MSI }} --min-msi=${{ env.MIN_MSI }}"
335
-
336
- merge :
337
- name : " Merge"
338
-
339
- runs-on : " ubuntu-latest"
340
-
341
- needs :
342
- - " code-coverage"
343
- - " coding-standards"
344
- - " dependency-analysis"
345
- - " mutation-tests"
346
- - " static-code-analysis"
347
- - " tests"
348
-
349
- if : >
350
- github.event_name == 'pull_request' &&
351
- github.event.pull_request.draft == false && (
352
- github.event.action == 'opened' ||
353
- github.event.action == 'reopened' ||
354
- github.event.action == 'synchronize'
355
- ) && (
356
- (github.actor == 'dependabot[bot]' && startsWith(github.event.pull_request.title, 'composer(deps-dev)')) ||
357
- (github.actor == 'dependabot[bot]' && startsWith(github.event.pull_request.title, 'github-actions(deps)')) ||
358
- (github.actor == 'localheinz' && contains(github.event.pull_request.labels.*.name, 'merge'))
359
- )
360
-
361
- steps :
362
- - name : " Request review from @ergebnis-bot"
363
-
364
- with :
365
- github-token : " ${{ secrets.ERGEBNIS_BOT_TOKEN }}"
366
- script : |
367
- const pullRequest = context.payload.pull_request
368
- const repository = context.repo
369
-
370
- const reviewers = [
371
- "ergebnis-bot",
372
- ]
373
-
374
- await github.pulls.requestReviewers({
375
- owner: repository.owner,
376
- pull_number: pullRequest.number,
377
- repo: repository.repo,
378
- reviewers: reviewers,
379
- })
380
-
381
- - name : " Assign @ergebnis-bot"
382
-
383
- with :
384
- github-token : " ${{ secrets.ERGEBNIS_BOT_TOKEN }}"
385
- script : |
386
- const pullRequest = context.payload.pull_request
387
- const repository = context.repo
388
-
389
- const assignees = [
390
- "ergebnis-bot",
391
- ]
392
-
393
- await github.issues.addAssignees({
394
- assignees: assignees,
395
- issue_number: pullRequest.number,
396
- owner: repository.owner,
397
- repo: repository.repo,
398
- })
399
-
400
- - name : " Approve pull request"
401
-
402
- with :
403
- github-token : " ${{ secrets.ERGEBNIS_BOT_TOKEN }}"
404
- script : |
405
- const pullRequest = context.payload.pull_request
406
- const repository = context.repo
407
-
408
- await github.pulls.createReview({
409
- event: "APPROVE",
410
- owner: repository.owner,
411
- pull_number: pullRequest.number,
412
- repo: repository.repo,
413
- })
414
-
415
- - name : " Merge pull request"
416
-
417
- with :
418
- github-token : " ${{ secrets.ERGEBNIS_BOT_TOKEN }}"
419
- script : |
420
- const pullRequest = context.payload.pull_request
421
- const repository = context.repo
422
-
423
- await github.pulls.merge({
424
- merge_method: "merge",
425
- owner: repository.owner,
426
- pull_number: pullRequest.number,
427
- repo: repository.repo,
428
- })
0 commit comments