diff options
| author | David Skoland <davidskoland@gmail.com> | 2023-11-13 15:26:53 +0100 |
|---|---|---|
| committer | David Skoland <davidskoland@gmail.com> | 2023-11-13 15:26:53 +0100 |
| commit | f31738cb5dde98810d7eece120b139665484f5df (patch) | |
| tree | 00c23f260c0a0510dc460f2392a5804804828600 /.github | |
| parent | 21920e0e8892c86f686efeee3611ca835d26385c (diff) | |
Do not deploy on PR
It looks like the workflows file tries to deploy to prod whenever
a PR is opened that targets master. This doesn't look correct,
and seems to fail with permissions issues when external
collaborators open PRs (as it should).
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/deploy.yml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 36f2cb8..5b25aa7 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -4,9 +4,6 @@ on: push: branches: - master - pull_request: - branches: - - master jobs: build: |