.github: remove push-to-fork

We need to create the fork first.
pull/1392/head
Tamir Duberstein 6 days ago
parent 62a92af00e
commit 2a33c642de
No known key found for this signature in database

@ -59,7 +59,6 @@ jobs:
#
# See https://github.com/peter-evans/create-pull-request/blob/main/docs/concepts-guidelines.md#workarounds-to-trigger-further-workflow-runs.
token: ${{ secrets.CRABBY_GITHUB_TOKEN }}
push-to-fork: crabby-the-crab/aya
branch: create-pull-request/public-api
commit-message: 'public-api: regenerate'
title: 'public-api: regenerate'

@ -51,7 +51,6 @@ jobs:
#
# See https://github.com/peter-evans/create-pull-request/blob/main/docs/concepts-guidelines.md#workarounds-to-trigger-further-workflow-runs.
token: ${{ secrets.CRABBY_GITHUB_TOKEN }}
push-to-fork: crabby-the-crab/aya
branch: create-pull-request/codegen
commit-message: |
aya-obj, aya-ebpf-bindings: regenerate

Loading…
Cancel
Save