Rename file

kgryte · kgryte · commit 43f84b74f5c4 · 2022-10-27T18:01:28.000-07:00
diff --git a/.github/workflows/update_repl_docs.yml b/.github/workflows/update_repl_docs.yml
@@ -17,7 +17,7 @@
 #/
 
 # Workflow name:
-name: repl_docs
+name: update_repl_docs
 
 # Workflow triggers:
 on:
@@ -119,7 +119,7 @@ jobs:
           branch: update-repl-docs
           delete-branch: true
 
-      # Create Markdown summary of the pull request:
+      # Create a pull request summary:
       - name: 'Create summary'
         run: |
           echo "# :tada: Pull Request created! :tada:" >> $GITHUB_STEP_SUMMARY
