2023-09-23 18:17:46 +02:00
|
|
|
name: Open a PR to main
|
2022-12-11 04:53:14 +01:00
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
branches:
|
|
|
|
|
- dev
|
|
|
|
|
workflow_dispatch:
|
|
|
|
|
|
|
|
|
|
env:
|
2023-09-23 18:17:46 +02:00
|
|
|
MESSAGE: Merge branch `${{ github.head_ref || github.ref_name }}` to `main`
|
2022-12-11 04:53:14 +01:00
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
pull-request:
|
2023-01-13 14:41:17 +01:00
|
|
|
name: Open pull request
|
2022-12-11 04:53:14 +01:00
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- name: Checkout
|
2023-09-27 18:02:48 +02:00
|
|
|
uses: actions/checkout@v4
|
2023-11-22 00:04:12 +01:00
|
|
|
|
2022-12-11 04:53:14 +01:00
|
|
|
- name: Open pull request
|
|
|
|
|
uses: repo-sync/pull-request@v2
|
|
|
|
|
with:
|
2024-06-27 22:47:44 +02:00
|
|
|
destination_branch: "main"
|
|
|
|
|
pr_title: "chore: ${{ env.MESSAGE }}"
|
2023-03-19 22:58:16 +01:00
|
|
|
pr_body: |
|
|
|
|
|
This pull request will ${{ env.MESSAGE }}.
|
2024-06-27 22:47:44 +02:00
|
|
|
|
2024-09-30 22:08:45 +02:00
|
|
|
## Before merging this PR
|
2023-03-19 22:58:16 +01:00
|
|
|
|
2024-09-30 22:08:45 +02:00
|
|
|
- [ ] Remember about https://github.com/revanced/revanced-integrations
|
|
|
|
|
- [ ] Pull translations from Crowdin
|
2022-12-11 04:53:14 +01:00
|
|
|
pr_draft: true
|
