From 14d58f6e9d4e8a7c18fce1f06e515a27ae88a6c5 Mon Sep 17 00:00:00 2001
From: nodiscc <nodiscc@gmail.com>
Date: Mon, 8 Aug 2022 22:51:16 +0200
Subject: [PATCH] tools/github actions: remove unused GITHUB_TOKEN from main CI
 workflow environment

---
 .github/workflows/ci.yml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ef6a86c560..96e14f6bbb 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,9 +4,6 @@ on:
     branches: [ master ]
   workflow_dispatch:
 
-env:
-  GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
-
 jobs:
   ci:
     runs-on: ubuntu-latest