ehealthsolutions/element-x-android
3
0
Fork 0
mirror of https://github.com/Novaloop-AG/element-x-android.git synced 2026-11-03 15:44:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6366 from element-hq/feature/bma/zizmoreAgain

Browse Source 
Fix permissions issue.
This commit is contained in:
Benoit Marty
2026-03-17 16:44:03 +01:00
committed by GitHub
parent 8e46e68630 043d20cb01
commit 05c9a82e1b
2 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/fork-pr-notice.yml
+3
View File
@@ -12,6 +12,9 @@ permissions: {}
jobs: jobs:
welcome: welcome:
runs-on: ubuntu-latest runs-on: ubuntu-latest
permissions:
# Require to comment the PR.
pull-requests: write
name: Welcome comment name: Welcome comment
# Only display it if base repo (upstream) is different from HEAD repo (possibly a fork) # Only display it if base repo (upstream) is different from HEAD repo (possibly a fork)
if: github.event.pull_request.base.repo.full_name != github.event.pull_request.head.repo.full_name if: github.event.pull_request.base.repo.full_name != github.event.pull_request.head.repo.full_name
.github/workflows/pull_request.yml
+3
View File
@@ -54,6 +54,9 @@ jobs:
close-if-fork-develop: close-if-fork-develop:
name: Forbid develop branch fork contributions name: Forbid develop branch fork contributions
runs-on: ubuntu-latest runs-on: ubuntu-latest
permissions:
# Require to comment and close the PR.
pull-requests: write
if: > if: >
github.event.action == 'opened' && github.event.action == 'opened' &&
github.event.pull_request.head.ref == 'develop' && github.event.pull_request.head.ref == 'develop' &&