Skip to content

Bump commons-io:commons-io from 2.11.0 to 2.14.0 (#5146) #470

Bump commons-io:commons-io from 2.11.0 to 2.14.0 (#5146)

Bump commons-io:commons-io from 2.11.0 to 2.14.0 (#5146) #470

name: merge main to develop
on:
push:
branches:
- "main"
jobs:
pull-request:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v2
- name: pull-request
uses: repo-sync/[email protected]
with:
destination_branch: "develop" # If blank, default: main
pr_title: "Merge main into develop"
pr_body: "Automatically generated PR to keep develop in sync with main.\n\n **USE MERGE COMMIT TO MERGE THIS PR**.\n\nSee [merge_main_to_develop.yml](/eclipse/rdf4j/.github/workflows/merge_main_to_develop.yml)." # Full markdown support, requires pr_title to be set
github_token: ${{ github.token }}