From 8641c3887e7bf646beaa86571c61de03794e5f5f Mon Sep 17 00:00:00 2001
From: julien <julien@morpho.xyz>
Date: Tue, 17 Oct 2023 15:28:53 +0200
Subject: [PATCH] fix(ci): remove HEAD when pushing

---
 .github/workflows/formatting.yml | 1 +
 .github/workflows/release.yml    | 8 ++++----
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/formatting.yml b/.github/workflows/formatting.yml
index 7915e568..ed822d33 100644
--- a/.github/workflows/formatting.yml
+++ b/.github/workflows/formatting.yml
@@ -12,6 +12,7 @@ concurrency:
 
 jobs:
   lint:
+    name: Lint
     runs-on: ubuntu-latest
     steps:
       - name: Generate a token
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index d6444fe9..00738fff 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -1,4 +1,4 @@
-name: Release on NPM
+name: Publish on NPM
 
 on:
   push:
@@ -21,7 +21,7 @@ concurrency:
 
 jobs:
   build-and-deploy:
-    name: Build and Deploy
+    name: Build and Publish
     runs-on: ubuntu-latest
     steps:
       - name: Generate a token
@@ -70,7 +70,7 @@ jobs:
 
       - name: Push to Correct Branch
         run: |
-          git push origin HEAD:$(basename ${{ github.ref }})
+          git push origin $(basename ${{ github.ref }})
 
       - name: Publish to npm
         run: |
@@ -84,7 +84,7 @@ jobs:
 
       - name: Push Git Tag
         run: |
-          git push origin HEAD:$(basename ${{ github.ref }}) --tags
+          git push origin $(basename ${{ github.ref }}) --tags
 
       - name: Create GitHub Release
         env: