Merge pull request #148 from DeterminateSystems/simpler-instructions

Update the text with much simpler 'run ci' instructions.

Author: grahamc

README.md

@@ -172,15 +172,7 @@ GitHub Actions will not run workflows when a branch is pushed by or a PR is open
 
 ### Without a Personal Authentication Token
 
-Without using a Personal Authentication Token, you can manually run the following to kick off a CI run:
-
-```
-git branch -D update_flake_lock_action
-git fetch origin
-git checkout update_flake_lock_action
-git commit --amend --no-edit
-git push origin update_flake_lock_action --force
-```
+Without using a Personal Authentication Token, close and reopen the pull request manually to kick off CI.
 
 ### With a Personal Authentication Token
 

action.yml

@@ -41,15 +41,7 @@ inputs:
 
       GitHub Actions will not run workflows on pull requests which are opened by a GitHub Action.
 
-      To run GitHub Actions workflows on this PR, run:
-
-      ```sh
-      git branch -D update_flake_lock_action
-      git fetch origin
-      git checkout update_flake_lock_action
-      git commit --amend --no-edit
-      git push origin update_flake_lock_action --force
-      ```
+      **To run GitHub Actions workflows on this PR, close and re-open this pull request.**
 
   pr-labels:
     description: "A comma or newline separated list of labels to set on the Pull Request to be created"