From d5be00d29dae2021730411cd598fea3fec12c240 Mon Sep 17 00:00:00 2001 From: Andras Bacsai Date: Tue, 11 Jun 2024 13:17:15 +0200 Subject: [PATCH] chore: Add ApplicationDeploymentJob and pint.json --- app/Jobs/ApplicationDeploymentJob.php | 1 + pint.json | 3 +++ 2 files changed, 4 insertions(+) create mode 100644 pint.json diff --git a/app/Jobs/ApplicationDeploymentJob.php b/app/Jobs/ApplicationDeploymentJob.php index c7b28f275..72d8c0ad1 100644 --- a/app/Jobs/ApplicationDeploymentJob.php +++ b/app/Jobs/ApplicationDeploymentJob.php @@ -316,6 +316,7 @@ private function decide_what_to_do() { if ($this->restart_only) { $this->just_restart(); + return; } elseif ($this->pull_request_id !== 0) { $this->deploy_pull_request(); diff --git a/pint.json b/pint.json new file mode 100644 index 000000000..93061b6bd --- /dev/null +++ b/pint.json @@ -0,0 +1,3 @@ +{ + "preset": "laravel" +}