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