Merge pull request from DeterminateSystems/simpler-instructions

Update the text with much simpler 'run ci' instructions.
This commit is contained in:
Graham Christensen 2025-03-19 12:26:28 -04:00 committed by GitHub
commit 86cbeff68e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 18 deletions

View file

@ -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

View file

@ -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"