Merge pull request #4 from andreynering/fix-github-case

chore: rename "Github" to "GitHub"
julienbourdeau · Apr 25, 2024 · 37b7c51 · 37b7c51
2 parents 3cb9f95 + bfd07cf
commit 37b7c51
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -36,7 +36,7 @@ jobs:
       - name: Commit /build_production
         run: |
           git config --global user.email "julien@julienbourdeau.com"
-          git config --global user.name "Github Actions"
+          git config --global user.name "GitHub Actions"
           git add -f build_production
           git commit -m 'Build static site'
 

diff --git a/navigation.php b/navigation.php
@@ -14,7 +14,7 @@
         'url' => '/changelog',
     ],
     'github' => [
-        'label' => 'Github',
+        'label' => 'GitHub',
         'url' => 'https://github.com/julienbourdeau/debugbar',
         'external' => true,
     ],