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