drop bots (#5679)
This commit is contained in:
parent
99ea2a3b35
commit
817a41d635
|
@ -1,26 +0,0 @@
|
|||
name: Ocasional events
|
||||
|
||||
on:
|
||||
push:
|
||||
branches: [master, "release/*"]
|
||||
pull_request_target: {}
|
||||
|
||||
jobs:
|
||||
|
||||
# autoupdate is a GitHub Action that auto-updates pull requests branches whenever changes land on their destination branch.
|
||||
# see: https://github.com/marketplace/actions/auto-update
|
||||
pr-auto-update:
|
||||
name: Auto-update PR
|
||||
runs-on: ubuntu-18.04
|
||||
steps:
|
||||
- uses: docker://chinthakagodawita/autoupdate-action:v1
|
||||
# todo: this shall be resolved with https://github.com/chinthakagodawita/autoupdate/issues/100
|
||||
continue-on-error: true
|
||||
env:
|
||||
GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}"
|
||||
DRY_RUN: "false"
|
||||
PR_FILTER: "labelled"
|
||||
PR_LABELS: "0:] Ready-To-Go,has conflicts"
|
||||
MERGE_MSG: "Branch was auto-updated."
|
||||
RETRY_COUNT: "3"
|
||||
RETRY_SLEEP: "500"
|
|
@ -1,20 +0,0 @@
|
|||
name: Recurrent events
|
||||
|
||||
on:
|
||||
push: {}
|
||||
|
||||
jobs:
|
||||
|
||||
# This label will then be managed by this action.
|
||||
# It will be added to PRs with merge conflicts and removed from PRs without conflicts.
|
||||
# https://github.com/mschilde/auto-label-merge-conflicts
|
||||
pr-label-conflicts:
|
||||
name: Label PR conflits
|
||||
runs-on: ubuntu-20.04
|
||||
steps:
|
||||
- uses: mschilde/auto-label-merge-conflicts@v2.0
|
||||
with:
|
||||
CONFLICT_LABEL_NAME: "has conflicts"
|
||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
||||
MAX_RETRIES: 3
|
||||
WAIT_MS: 5000
|
Loading…
Reference in New Issue