feat(ci): commit in ci changes in CONTRIBUTING.md

objectionary · Nov 28, 2024 · 077f7c3 · 077f7c3
1 parent cbd8aea
commit 077f7c3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ghc.yml b/.github/workflows/ghc.yml
@@ -299,7 +299,7 @@ jobs:
         if: env.branch_is_not_master && runner.os == 'Linux'
         run: |
           source scripts/lib.sh
-          files=('site' 'proposals' 'README.md')
+          files=('site' 'proposals' 'README.md' 'CONTRIBUTING.md')
           commit_and_push_if_changed "$files" "Markdown files"
 
       - name: Create a directory for docs